Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-20 19:41:34 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/ladr: Wrap README at 72 columns.

Browse source 
Signed-off-by: B. Watson <yalhcru@gmail.com>
This commit is contained in:
B. Watson 2022-03-12 14:35:24 -05:00
parent 2db57c5573
commit b060a08688
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
academic/ladr/README
View file

@ -1,3 +1,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)
LADR includes some mathematical programs like:
prover 9 (automated theorem prover for first-order and equational logic)
mace4 (search for finite models and counterexamples)