About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Project
MeReMath
Organisations
Mechanised Reverse Mathematics in the Calculus of Inductive Constructions
Full project page
Organisations map overview
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- (Coördinator)
Country: