The Lean Theorem Prover (System Description) von de Moura, Leonardo, Kong, Soonho, Avigad, Jeremy, van Doorn, Floris, von Raumer, Jakob

Volltext

A Formally Verified Proof of the Central Limit Theorem von Avigad, Jeremy, Hölzl, Johannes, Serafin, Luke

Volltext

Reliability of mathematical inference von Avigad, Jeremy

Volltext

A metaprogramming framework for formal verification von Ebner, Gabriel, Ullrich, Sebastian, Roesch, Jared, Avigad, Jeremy, de Moura, Leonardo

Volltext

Reliability ofmathematical inference von Avigad, Jeremy

Volltext

Modularity in mathematics von AVIGAD, JEREMY

Volltext

TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE von MACKERETH, STEPHEN, AVIGAD, JEREMY

Volltext

Mathematical Logic and Computation von Avigad, Jeremy

Volltext

Functional interpretation and inductive definitions von Avigad, Jeremy, Towsner, Henry

Volltext

Opinion: The Mechanization of Mathematics von Avigad, Jeremy

Volltext

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings von Avigad, Jeremy, Mahboubi, Assia

Volltext

What We Talk About When We Talk About Mathematics von Avigad, Jeremy

Volltext

Mathematics and the formal turn von Avigad, Jeremy

Volltext

Logic's Lost Genius and Gentzen's Centenary von Avigad, Jeremy

Volltext

Oscillation and the mean ergodic theorem for uniformly convex Banach spaces von AVIGAD, JEREMY, RUTE, JASON

Volltext

Uniform distribution and algorithmic randomness von Avigad, Jeremy

Volltext

Anatomy of a Formal Proof von Avigad, Jeremy, Commelin, Johan, Macbeth, Heather, Topaz, Adam

Volltext

Varieties of mathematical understanding von Avigad, Jeremy

Volltext

Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp von Avigad, Jeremy

Volltext

An Impossible Asylum von Avigad, Jeremy, Baek, Seulkee, Bentkamp, Alexander, Heule, Marijn, Nawrocki, Wojciech

Volltext