About Inductive nat : Set

R&D engineer at OCamlPro, OCaml hacker, type systems enthusiast, math & games lover, core developer of Luanti.
she/her 🏳️‍⚧️

Lists

Timeline

nore has no activity yet