aboutsummaryrefslogtreecommitdiff
path: root/README.md
blob: 988561551a58ba87d5d6c35468b2be1b1619351e (about) (plain)
1
2
3
# README

ACL2 で証明した定理を置く場所です。