shinji-kono.github.io
github.io
Agda Examples
Shinji KONO (kono@ie.u-ryukyu.ac.jp), University of the Ryukyus
code
github
ZF in Agda
ZF
Automaton in Agda
Automaton