From b060a08688b8b7d6d5874b4e8eb918043d5e345f Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sat, 12 Mar 2022 14:35:24 -0500 Subject: academic/ladr: Wrap README at 72 columns. Signed-off-by: B. Watson --- academic/ladr/README | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'academic') diff --git a/academic/ladr/README b/academic/ladr/README index 2bee5905d9..c2fd2fb0fc 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) -- cgit v1.2.3