✦ LIBER ✦

Position Paper: Thoughts on Programming with Proof Assistants

✍ Scribed by Adam Chlipala

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof of Concept: A PhRMA Position Paper

✍ Cartwright, M E; Cohen, S; Fleishaker, J C; Madani, S; McLeod, J F; Musser, B; W 📂 Article 📅 2010 🏛 Nature Publishing Group 🌐 English ⚖ 158 KB

Promoting Positive Adolescent Developmen

✍ Robert Apsler; Scott Formica; Beth Fraster; Rosie McMahan 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 210 KB

Call for papers: Symposium on Mathematic

✍ General Chairman; Program Chairman 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 76 KB

Call for papers: Third Symposium on Math

📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 61 KB

Call for papers: Second Symposium on Mat

📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 65 KB

Call for papers: Fourth Symposium on Mat

📂 Article 📅 1982 🏛 Springer-Verlag 🌐 English ⚖ 55 KB