Login / Signup
José Grimm
Publication Activity (10 Years)
Years Active: 2010-2016
Publications (10 Years): 1
Top Topics
Real Numbers
Linear Inequalities
Computer Assisted Instruction
Arithmetic Operations
Top Venues
J. Formaliz. Reason.
</>
Publications
</>
José Grimm
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers.
J. Formaliz. Reason.
9 (2) (2016)
José Grimm
Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets.
J. Formaliz. Reason.
3 (1) (2010)