Contact Information

For general information, questions, suggestions or problems, you can contact us on our discussion Mailing List.

For specific information on each of the formalized topics, please contact directly the person responsible for it:

• Project Coordinators: Henk Barendregt and Herman Geuvers
• Scripts: Lionel Mamane
• Documentation: Russell O’Connor
• Algebraic Hierarchy: Russell O’Connor
• Model of the Real Numbers: Milad Niqui
• Fundamental Theorem of Algebra: Freek Wiedijk
• Real Calculus: Luís Cruz-Filipe
• Metric Spaces: Russell O’Connor
• Effective Model of the Real Numbers: Russell O’Connor

Feel free to subscribe to the Mailing List!