diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 11:05:17 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-16 11:05:17 +0900 |
| commit | d87507d96ed47cf2bc44f0fd3c733d52fbdf4fb0 (patch) | |
| tree | a7eae87171087f4169802d8701a9ec5157a83b84 /jobs/acl2-theorems.develop.run | |
| parent | e0d838b8412f506b877c99f9cb509477535b0024 (diff) | |
Add vikalpa job.
Diffstat (limited to 'jobs/acl2-theorems.develop.run')
0 files changed, 0 insertions, 0 deletions