Where communities thrive
Join over
1.5M+ people
Join over
100K+ communities
Free
without limits
Create
your own community
Explore more communities
groupoid
Share
All Rooms
4 Rooms
93 People
exe
Language with Dependent Types
CIC
verification
dependent types
compiler
programming
church encoding
library
36 People
om
Intermediate Lambda Assembler
CoC
verification
dependent types
compiler
OM
pure type system
lambda calculus
church encoding
library
33 People
cafe
Groupoid Infinity HoTT Course
16 People
coq
8 People