Category: Real Calculus and Topology

• CoRN: Constructive Coq Repository at Nijmegen
  Bart Kirkels, Bas Spitters, Dan Synek, Dimitri Hendriks, Freek Wiedijk, Henk Barendregt, Herman Geuvers, Iris Loeb, Jan Zwanenburg, Lionel Mamane, Luís Cruz-Filipe, Mariusz Giero, Milad Niqui, Nickolay V. Shmyrev, Pierre Letouzey, Randy Pollack, Rik van Ginneken, Russell O'Connor, Sébastien Hinderer
• Markov: Markov's inequality
  Robert Kam
• Rem: Rem Theorem in Baire space
  Henk Barendregt
• Topology: General Topology
  Daniel Schepler