✦ LIBER ✦

Validation of HOL Proofs by Proof Checking

✍ Scribed by Wai Wong

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof Checking and Knowledge by Intellec

📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 102 KB

Combining Proof and Model-checking to Va

✍ Arnaud Lanoix; Julien Dormoy; Olga Kouchnarenko 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Check and Proofs of the Bernoulli Equati

✍ Sleator, W. W. 📂 Article 📅 1949 🏛 American Institute of Physics 🌐 English ⚖ 750 KB

Abstract Proof Checking: An Example Moti

✍ Alan Bundy; Fausto Giunchiglia; Adolfo Villafiorita; Toby Walsh 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 235 KB

Proof of validity of expanded copolymeri

✍ Ham, George E. 📂 Article 📅 1964 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 262 KB

A proof of the validity of generalized i

✍ R. Jengo 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 289 KB