summaryrefslogtreecommitdiff
path: root/math/otter/pkg/COMMENT
blob: b62c48542e6bc169d0635cb65867e4514124061b (plain) 
1

Otter is a theorem-proving program
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 23:14:40 +0000