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