Loading Open Internet
Home
Explore
Create
Profile
Thinking about the scalability limits of dependent type systems in ITPs
Open Internet by MindsNet
Thinking about the scalability limits of dependent type systems in ITPs