✦ LIBER ✦

Proof Pearl—A Mechanized Proof of GHC’s Mergesort

✍ Scribed by Christian Sternagel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Mechanized Proof Environment for the C

✍ Marcelo Glusman; Shmuel Katz 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 167 KB

Mathematical Pearls: A Proof of Liouvill

✍ Edward Nelson 📂 Article 📅 1961 🏛 American Mathematical Society 🌐 English ⚖ 80 KB

A proof of a neglected proof

✍ Yokota Sizuo 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 109 KB

A mechanical proof of Quadratic Reciproc

✍ David M. Russinoff 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 684 KB

A mechanical proof of the termination of

✍ J Strother Moore 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 670 KB

Quantum-Mechanical Proof of a Redheffer

✍ M.G. Marmorino 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 61 KB