Deducteam/zenon_modulo
First-order automated theorem prover based on the tableau method
OCamlNOASSERTION
Issues
- 0
dune: fix contents of checksum.ml
#34 opened by fblanqui - 1
- 0
TPTP : Typed First-order Form
#19 opened by dde-cls - 4
exception in lltolp.ml
#14 opened by geoffgeoffgeoff3 - 3
exception in lltodk
#4 opened by bodeveix