path: root/README.md

[![CI](https://ci.tojo.tokyo/badge/acl2-theorems.svg)](https://ci.tojo.tokyo/jobs/acl2-theorems)

# acl2-theorems

練習のために ACL2 で証明した定理を置くリポジトリです。