This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Inductive nat : Set
@nore@framapiaf.org
Joined: 11/21/2018
About Inductive nat : Set
R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Luanti.
she/her 🏳️⚧️
Lists
nore has no public lists
Timeline
nore has no activity yet