viktorcsimma / bishop Goto Github PK
View Code? Open in Web Editor NEWThis project forked from z-murray/honours-project-constructive-analysis-in-agda
A constructive analysis library written in Agda and based on Errett Bishop's work. Continuing Zachary Murray's original project.