gitlab.com topics: reasoning
korovin/iprover
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Last synced at: almost 2 years ago - Stars: 4 - Forks: 5
lorenzocugini/xml_validation
Strategies to represent knowledge in Computer Science.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
rrleme/consequentia
An automated system for Tableaux methods.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
