×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of lawrence-paulson
Source-Level Proof Reconstruction for Interactive Proving
47 views
The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF
111 views
A Machine-Assisted Proof of Gödel's Incompleteness Theorems
155 views
Defining Functions on Equivalence Classes
136 views
Proving Properties of Security Protocols by Induction
264 views
MetiTarski: An Automatic Prover for Real-Valued Special Functions
68 views
Automated theorem proving for special functions: the next phase
53 views
Organizing Numerical Theories using Axiomatic Type Classes
56 views
MetiTarski's menagerie of cooperating systems
61 views
Proving Security Protocols Correct
50 views