| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | acl2-theorems.before | 107 | logplainabout |
| -rwxr-xr-x | acl2-theorems.run | 105 | logplainabout |
| -rw-r--r-- | acl2-verify.sh | 355 | logplainabout |
| -rwxr-xr-x | pull-cfg.run | 44 | logplainabout |
 |
index : ci.git | |
| ci.tojo.tokyo の CI の設定 | Masaya Tojo |
| aboutsummaryrefslogtreecommitdiff |