mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
b060a08688
Signed-off-by: B. Watson <yalhcru@gmail.com>
4 lines
174 B
Text
4 lines
174 B
Text
LADR includes some mathematical programs like:
|
|
|
|
prover 9 (automated theorem prover for first-order and equational logic)
|
|
mace4 (search for finite models and counterexamples)
|