summaryrefslogtreecommitdiffstats
path: root/academic/ladr/README
blob: c2fd2fb0fc16c7e2ac0a4f8775dafd001e28ab62 (about) (plain) (blame) 
1
2
3
4

LADR includes some mathematical programs like:

prover 9 (automated theorem prover for first-order and equational logic)
mace4 (search for finite models and counterexamples)
generated by cgit v1.2.3-80-g2a13 (git 2.46.2) at 2024-11-02 19:44:28 +0000