Shinji KONO

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

Category Exercices in Agda

CategoryExercise

Glaois Theory in Agda

galois