aboutsummaryrefslogtreecommitdiff
path: root/academic/ladr/README
diff options
context:
space:
mode:
Diffstat (limited to 'academic/ladr/README')
-rw-r--r--academic/ladr/README7
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)