What we’re about
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
Members
5
For all people interested in functional programming and automated theorem proving, come discuss development in OCaml/Haskell, Rocq/Agda/Lean, Nix, etc.
No upcoming events