About kei
Type Theory, Compilers, Formal Verification. Haskell, Agda, Lean 4.
Lists
kei has no public lists
Timeline
kei has no activity yet
Type Theory, Compilers, Formal Verification. Haskell, Agda, Lean 4.
kei has no public lists
kei has no activity yet