aboutsummaryrefslogtreecommitdiff
path: root/README.md
blob: 0cd41b26082cc586d844dcd3be1fa9f5047b673e (about) (plain)
1
2
3
4
5
[![CI](https://ci.tojo.tokyo/badge/acl2-theorems.svg)](https://ci.tojo.tokyo/jobs/acl2-theorems)

# acl2-theorems

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