Math Classes
  • About
  • Motivation
  • Publications
  • People
  • Coqdoc
  • Github
  • Wiki
    •

    You can usually find us on IRC, #coq on the Freenode network.

    Authors

    • Eelis van der Weegen
    • Bas Spitters
    • Robbert Krebbers

    Contributors

    • Matthieu Sozeau
    • Tom Prince
    • Jelle Herold

    The research leading to these results has received funding from the European Union's 7th Framework Programme under grant agreement nr. 243847 (ForMath).