jonsterling / agda-sheaves Goto Github PK
View Code? Open in Web Editor NEWSheaves in Agda (will be superseded by https://github.com/jonsterling/constructive-sheaf-semantics which has sheaves on a site)
License: Creative Commons Attribution 4.0 International