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

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

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