path: root/README.md

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

# ACL2 の学習用のリポジトリ

ACL2 の学習のために書いたプログラムを置く場所です。