GitHub repository: viktorcsimma/bishop
Primary language: Agda
Description: Continuing Zachary Murray's project at  z-murray/honours-project-constructive-analysis-in-agda