✦ LIBER ✦

Light Dialectica Program Extraction from a Classical Fibonacci Proof

✍ Scribed by Mircea-Dan Hernest

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refined program extraction from classica

✍ Ulrich Berger; Wilfried Buchholz; Helmut Schwichtenberg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Getting results from programs extracted

✍ C. Raffalli 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 307 KB