search

Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method
Other
12 stars 6 forks source link

replace Pervasives by Stdlib #13

Closed cstolze closed 1 year ago

cstolze commented 1 year ago

Pervasives is deprecated since OCaml 4.08.0