path: root/README.md

# README

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