search

Deducteam / zenon_modulo

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

dune: fix contents of checksum.ml #34

Open fblanqui opened 3 months ago

fblanqui commented 3 months ago

https://github.com/Deducteam/zenon_modulo/blob/104960434b525a41914cdda7f03d8f65702e1576/dune#L19