Mercurial > hg > Members > atton > agda-proofs
log LTL/LTL.agda @ 21:afb2304be45b
age | author | description |
---|---|---|
Fri, 11 Dec 2015 20:27:04 +0900 | Yasutaka Higa | Trying LTL |
age | author | description |
---|---|---|
Fri, 11 Dec 2015 20:27:04 +0900 | Yasutaka Higa | Trying LTL |