Skip to content

GitLab Next

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

R
reasoning

Any
Blade
C
C#
C++
CMake
CSS
Dockerfile
Go
HCL
HTML
Java
JavaScript
Jupyter Notebook
Kotlin
Makefile
Objective-C
PHP
Python
Ruby
SCSS
Shell
Swift
TSX
TypeScript
Vue

Projects with this topic

Sort by:

Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only

View iprover project

Konstantin Korovin / iprover
CI/CD Catalog (unpublished)

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

theorem proving AI verification Model Checking SMT TPTP QBF DQBF aig logic reasoning

6

Updated Jul 31, 2025

6 7 0 0

Updated Jul 31, 2025
View DeMorgan.jl project

Dream Scatter / DeMorgan.jl

Classical logic truth table magma algebra

algebra mathematics computer-alg... proof logic Proof Assistant formal proof propositiona... reasoning

0

Updated Nov 29, 2023

0 0 0 0

Updated Nov 29, 2023
View consequentia project

Renato Reis Leme / consequentia

An automated system for Tableaux methods.

logic tableau automated reasoning

0

Updated May 20, 2020

0 0 0 0

Updated May 20, 2020
View KnowledgeContainers project

Lorenzo Cugini / KnowledgeContainers

Strategies to represent knowledge in Computer Science.

XML DTD XSD SAX N3 NOTATION3 RDF RDFS OWL GrOWL ontology SPARQL Web of Data semantic web knowledge semantic reasoning Reasoner

0

Updated Jun 06, 2019

0 0 0

Updated Jun 06, 2019