Mercurial > hg > Members > atton > agda-proofs
log LTL/LTL.agda @ 25:da78bb99d654
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 |