You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
depsterr 56ad468cd5 0, 1, and fromQ congruence 5 months ago
src 0, 1, and fromQ congruence 5 months ago
.gitignore initial commit 6 months ago
LICENSE initial commit 6 months ago
README.md made README nicer 5 months ago
constructive-analysis.agda-lib initial commit 6 months ago

README.md

Constructive Analysis in Agda

A toy side project formalizing some of Errett Bishop and Douglas Bridges book 'Constructive Analysis' within Agda.

Versioning info

  • agda 2.6.3
  • stdlib 1.7.1