diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-17 15:57:37 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-17 18:24:14 +0900 |
| commit | 62fcd1d031c70c22dccea3efc1d3e684a82e3810 (patch) | |
| tree | 1fdb45385f8680d57af9212b389b364b54cc219e | |
| parent | faef0100953449a4f85cc40c073d49d7eb39918a (diff) | |
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -[](https://ci.tojo.tokyo/jobs/lean-acl2) +[](https://ci.tojo.tokyo/jobs/learn-acl2) # ACL2 の学習用のリポジトリ |