diff options
Diffstat (limited to 'academic/ladr/README')
-rw-r--r-- | academic/ladr/README | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/academic/ladr/README b/academic/ladr/README index 2bee5905d984..c2fd2fb0fc16 100644 --- a/academic/ladr/README +++ b/academic/ladr/README @@ -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) |