path: root/README.md

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

# README

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