diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-01 02:09:54 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-01 02:09:54 +0900 |
| commit | 255a31d5ccc1f2c8e3997a469d71e749e1e8b3e3 (patch) | |
| tree | 5d22857ba49b89014df35f077fae34f3be8ae49c /README.md | |
| parent | 8e6f0f1c0b1cbc55ba10ef42274b4536d155fc8a (diff) | |
README: Update README.md file.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ [](https://ci.tojo.tokyo/jobs/acl2-theorems) -# README +# acl2-theorems -ACL2 で証明した定理を置く場所です。 +練習のために ACL2 で証明した定理を置くリポジトリです。 |