Marie Kerjean's repositories
analysis
Mathematical Components compliant Analysis Library
Language:CoqNOASSERTION000
real-closed
Theorems for Real Closed Fields
Language:Coq000
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
000