real-analysis topic

Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)

mikinty

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

adyavanapalli

A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]

coq-community

Basic Analysis, undergraduate real analysis textbook

jirilebl

Solutions to Understanding Analysis by Stephen Abbott (second edition)

UlisseMini

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

coq-community