Fix another link in the README

OpenLogicProject · Sep 5, 2023 · a7cb7f2 · a7cb7f2
1 parent 025d599
commit a7cb7f2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -53,8 +53,9 @@ The code is [maintained on Github](https://github.com/OpenLogicProject/fitch/).
 
 ## Related packages
 
-- [`logicproof`]: natural deduction with boxed subproofs in the style
-  of Huth and Ryan's _Logic in Computer Science_.
+- [`logicproof`](https://ctan.org/pkg/logicproof): natural deduction
+  with boxed subproofs in the style of Huth and Ryan's _Logic in
+  Computer Science_.
 - [`lplfitch`](https://ctan.org/pkg/lplfitch): Fitch-style proofs in
   the format used in Barwise & Etchemendy's textbook _Language, Proof,
   and Logic_.