Zen and the art of formalisation
Andrea Asperti, Jeremy Avigad
págs. 679-682
págs. 683-714
A formal proof of Pick's Theorem
John Harrison
págs. 715-729
págs. 731-761
Formalising Overlap Algebras in Matita
Claudio Sacerdoti Coen, Enrico Tassi
págs. 763-793
Type classes for mathematics in type theory
Bas Spitters, Eelis van der Weegen
págs. 795-825
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
Frédéric Blanqui, Adam Koprowski
págs. 827-859
Classical mathematics for a constructive world
Russell O'Connor
págs. 861-882
Formalising foundations of mathematics
Mihnea Iancu, Florian Rabe
págs. 883-911
A pluralist approach to the formalisation of mathematics
Robin Adams, Zhaohui Luo
págs. 913-942
© 2008-2024 Fundación Dialnet · Todos los derechos reservados