jonsterling / constructive-sheaf-semantics

I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.
14Updated 9 years ago

Related projects

Alternatives and complementary repositories for constructive-sheaf-semantics