summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/natded/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/natded/README.md')
-rw-r--r--macros/latex/contrib/natded/README.md6
1 files changed, 6 insertions, 0 deletions
diff --git a/macros/latex/contrib/natded/README.md b/macros/latex/contrib/natded/README.md
new file mode 100644
index 0000000000..bf8801aa1d
--- /dev/null
+++ b/macros/latex/contrib/natded/README.md
@@ -0,0 +1,6 @@
+natded
+======
+
+A LaTeX package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague.
+
+Package version: 0.1 \ No newline at end of file