summaryrefslogtreecommitdiff
path: root/math/otter
AgeCommit message (Collapse)AuthorFilesLines
2000-11-25Initial import of new "otter" package:jtb8-0/+279
Otter is a theorem-proving program
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-03 02:20:27 +0000