Showing 1 - 2 results of 2 for search 'José Grimm', query time: 0.02s Refine Results
  1. 1
    Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets

    Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets by José Grimm

    Published 2010-01-01
    Get full text
    Article
  2. 2
    Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers

    Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers by José Grimm

    Published 2016-12-01
    Get full text
    Article

Search Tools: