About us
For all people interested in functional programming and automated theorem proving, come discuss development in OCaml/Haskell, Rocq/Agda/Lean, Nix, etc.
Upcoming events
No upcoming events
Group links
Organizers
Currently no organizer
Members
5
