Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2023-11-09 | Shinji KONO | safe halt.agda |
2023-11-08 | Shinji KONO | ... |
2023-09-24 | Shinji KONO | ... |
2023-09-24 | Shinji KONO | ... |
2023-09-24 | Shinji KONO | fix for std-lib 2.0 |
2023-08-10 | Shinji KONO | ... |
Loading... |