Access a collection of links to bibliographies for a variety of aspects on constructive mathematics. Invites contributions and corrections.

Math professor, Fred Richman at Florida Atlantic University writes a brief automathography on algebraists, formalists, and intuitionistic logic.

Provides an introductory article on constructive mathematics with notes on analysis, philosophical impact, and intuitionistic logic.

Access this Cornell University text titled Implementing Mathematics with The Nuprl Proof Development System. Find an overview of the project and a table of contents.

Resource accompanies a math course at Goteborg University and includes exercises, handouts, and relevant papers.

Find an entry for intuitionistic logic from the Stanford Encyclopedia of Philosophy. Includes the rejection of Tertium Non Datur, proof theory, and semantics.

Document focuses on topics in semantics and proof theory with an aim in understanding Type Theory. Browse topics and read papers by researchers at Chalmers University.

Features a long list of publications for the Proof/Program Refinement Logic project that includes author names and links to the full text.

Find out how to obtain and install this UNIX executable titled Proof-Or-Refutation Generator for Intuitionistic propositional logic. With documentation.

Lecturer at University of Wales Swansea works on Martin-Lof's Type Theory and includes documentation, notes, and related links regarding his research.