scientific article

zbMath1211.68370MaRDI QIDQ3075244

José Grimm

Publication date: 10 February 2011

Full work available at URL: http://jfr.cib.unibo.it/article/view/1899

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Coq proof assistantZermelo's theoremBourbaki's Elements of Mathematicsformalization of set theoryGaia software

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Set theory (03E99)

Related Items (1)

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

Uses Software

• gaia
• Unnamed Item

This page was built for publication: