This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
About kei
Type Theory, Compilers, Formal Verification. Haskell, Agda, Lean 4.
Lists
kei has no public lists
Timeline
kei has no activity yet