diff options
| author | B. Watson <yalhcru@gmail.com> | 2022-03-12 14:35:24 -0500 |
|---|---|---|
| committer | B. Watson <yalhcru@gmail.com> | 2022-03-12 14:35:24 -0500 |
| commit | b060a08688b8b7d6d5874b4e8eb918043d5e345f (patch) | |
| tree | 48b68565dd258b25770771a6d16cb2263593ce8f /academic | |
| parent | 2db57c557329c8b70a9b5264a57d8585d95ffc88 (diff) | |
academic/ladr: Wrap README at 72 columns.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Diffstat (limited to 'academic')
| -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 2bee5905d9844..c2fd2fb0fc16c 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) |