gaia - discu.eu

Reddit

GAIA - Implementation of Bourbaki's Elements of Mathematics in Coq http://www-sop.inria.fr/marelle/gaia/ 3 comments 19/6/2014 math

Linking pages

Ordinals* aren’t much worse than Quaternions | Hey There Buddo! https://www.philipzucker.com/ordinals/ 28 comments

Related searches:

Search whole site: site:www-sop.inria.fr

Search title: gaia

See how to search.

Submit link to: