Browse Title Index

Issue Title
Vol 3, No 1 (2010) Sets in Coq, Coq in Sets Abstract   PDF (English)
Bruno Barras
Vol 5, No 1 (2012) Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover Abstract   PDF (English)
Ferruccio Guidi
Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto Theorema 2.0: Computer-Assisted Natural-Style Mathematics Abstract   PDF (English)
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
Vol 9, No 2 (2016) Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC Abstract   PDF (English)
YuHui Lin, Gudmund Grov, Rob Arthan
Vol 8, No 1 (2015) Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions Abstract   PDF (English)
Ferruccio Guidi
Vol 7, No 1 (2014) Views of PI: Definition and computation Abstract   PDF (English)
Yves Bertot, Guillaume Allais
51 - 56 of 56 Items << < 1 2