✦ LIBER ✦

Proof Assistance for Refinement in Type Theory

✍ Scribed by Nikos Mylonakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Prototype Proofs in Type Theory

✍ Giuseppe Longo 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

On Computer-Assisted Proofs in Ordinal N

✍ Johan G. F. Belinfante 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 131 KB

Proof schemata in Hilbert-type axiomatic

✍ V. P. Orevkov 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 734 KB

Automated Proof Construction in Type The

✍ Marc Bezem; Dimitri Hendriks; Hans de Nivelle 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 169 KB

Refined theory of Mindlin-Mcniven type f

✍ A. F. Ulitko; T. N. Bobyleva 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 264 KB

[Lecture Notes in Computer Science] Type

✍ Geuvers, Herman; Wiedijk, Freek 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 231 KB