diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-01 02:07:57 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-01 02:07:57 +0900 |
| commit | 8e6f0f1c0b1cbc55ba10ef42274b4536d155fc8a (patch) | |
| tree | 00bffdeb210160c9bf40690b382ae1fdf1ab1c0d /README.md | |
| parent | 5ff4399cdea98a6805568db18581ef176f2aa816 (diff) | |
README: Add a badge.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +[](https://ci.tojo.tokyo/jobs/acl2-theorems) + # README ACL2 で証明した定理を置く場所です。 |