bergwerf / intuitionism

Intuitionistic (Brouwerian) mathematics in Coq

Intuitionistic principles in Coq

I formalized some of the notions that were presented in a course on intuitionistic mathematics by W. Veldman (Radboud).