README.md - acl2-theorems.git - Proofs with acl2

about summary refs log tree commit diff

path: root/README.md

blob: 988561551a58ba87d5d6c35468b2be1b1619351e (about) (plain)

1
2
3

# README

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