To increase the resiliency of Anna’s Archive, we’re looking for volunteers to run mirrors. Learn more…
✕
📚The largest truly open library in human history. ⭐️We mirror Sci-Hub and LibGen. We scrape and open-source Z-Lib, Internet Archive Lending Library, DuXiu, and more. 📈30,694,091books, 99,901,920papers — preserved forever. Learn more…
📚The largest truly open library in human history. ⭐️We mirror Sci-Hub and LibGen. We scrape and open-source Z-Lib, Internet Archive Lending Library, DuXiu, and more. 📈30,694,091books, 99,901,920papers — preserved forever. Learn more…
📚The largest truly open library in human history. ⭐️We mirror Sci-Hub and LibGen. We scrape and open-source Z-Lib, Internet Archive Lending Library, DuXiu, and more. Learn more…
Recent downloads:
'; document.querySelector('.js-recent-downloads-scroll').innerHTML = scrollHtml + scrollHtml; } function fetchNewRecentDownloads(cb) { setTimeout(() => { fetch("/dyn/recent_downloads/").then((response) => response.json()).then((items) => { if (localStorage) { localStorage.recentDownloadsData = JSON.stringify({ items, time: Date.now() }); } if (cb) { cb(items); } }); }, 100); } if (localStorage && localStorage.recentDownloadsData) { const recentDownloadsData = JSON.parse(localStorage.recentDownloadsData); // console.log('recentDownloadsData', recentDownloadsData); showRecentDownloads(recentDownloadsData.items); const timeToRefresh = 65000 /* 65 sec */ - (Date.now() - recentDownloadsData.time); // Fetch new data for the next page load. if (timeToRefresh <= 0) { fetchNewRecentDownloads(undefined); } else { setTimeout(() => { fetchNewRecentDownloads(undefined); }, timeToRefresh); } } else { fetchNewRecentDownloads((items) => { showRecentDownloads(items); }); } })();
Search Search
Home Search About Datasets Torrents Mirrors: call for volunteers
Mobile app Anna’s Blog ↗ Anna’s Software ↗ Translate ↗
DonateDonate
Log in / Register Log in / Register
Log in / Register Refer friends Request books Upload
Account Account
Account Public profile Downloaded files My donations Refer friends Request books Upload
English [en], .pdf, 10.6MB, 📘 Book (non-fiction), 10.1007%2F978-3-662-07964-5
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions 🔍
Springer, Texts in Theoretical Computer Science An EATCS Series, 2004
Dr. Yves Bertot, Dr. Pierre Castéran (auth.) 🔍
“Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.
This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Metadata comments: Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
sm21706180
0”
Read more…
ISBN-13978-3-642-05880-6 ISBN-13978-3-662-07964-5 ISBN-103-642-05880-9 ISBN-103-662-07964-X DOI10.1007/978-3-662-07964-5 OCLC/WorldCat851383998 Open LibraryOL19858366W Open LibraryOL27046275M Internet Archiveinteractivetheor00bert_318 Libgen.rs Non-Fiction965499 MD5af031a5eb2d351217f52eefd8c1555ac Z-Library2119404 Libgen.li File92022918 LCCQA8.9-10.3 LCCQA76.758 DDC005.1
🚀 Fast downloads Become a member to support the long-term preservation of books, papers, and more. To show our gratitude for your support, you get fast downloads. ❤️
🚀 Fast downloads You have XXXXXX left today. Thanks for being a member! ❤️
🚀 Fast downloads You’ve run out of fast downloads for today. Please contact Anna at AnnaArchivist@proton.me if you’re interested in upgrading your membership.
🚀 Fast downloads You downloaded this file recently. Links remain valid for a while.
- - Option #1: Anna’s Archive 🧬 SciDB (no browser verification required)
- - Option #2: Fast Partner Server #1 (no browser verification required)
- - Option #3: Fast Partner Server #2
- - Option #4: Fast Partner Server #3
- - Refer a friend, and both you and your friend get 50% bonus fast downloads! Learn more…
🐢 Slow downloads From trusted partners.
- - Option #1: Slow Partner Server #1 (might require browser verification — unlimited downloads!)
- - Option #2: Slow Partner Server #2
- - Option #3: Slow Partner Server #3
External downloads
- - Option #1: Anna’s Archive 🧬 SciDB
- - Option #2: Sci-Hub: 10.1007/978-3-662-07964-5
- - Option #3: Libgen.rs Non-Fiction (click “GET” at the top)
- - Option #4: Libgen.li (also click “GET” at the top)
- - Option #5: IPFS Gateway #1 (you might need to try multiple times with IPFS)
- - Option #6: IPFS Gateway #2
- - Option #7: IPFS Gateway #3
- - Option #8: Z-Library
- - Option #9: Bulk torrent downloads (experts only) file
- - Convert: use online tools to convert between formats. For example, to convert between epub and pdf, use CloudConvert.
- - Kindle: download the file (pdf or epub are supported), then send it to Kindle using web, app, or email.
- - Support authors: If you like this and can afford it, consider buying the original, or supporting the authors directly.
- - Support libraries: If this is available at your local library, consider borrowing it for free there.
All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
📂 File quality
Help out the community by reporting the quality of this file! 🙌
Please log in.
Anna’s Archive
Home
Search
About
Donate
Refer friends
Request books
Upload
Mobile app
Stay in touch
Reddit / Telegram
Anna’s Blog ↗
Anna’s Software ↗
Translate ↗
AnnaArchivist@proton.me
Don’t email us to request books
or small (<10k) uploads. We’re a small team of volunteers. It might take us 1-2 weeks to respond.
DMCA / copyright claims
AnnaDMCA@proton.me
Advanced
Datasets
Torrents
Mirrors: call for volunteers
LLM data
Security
Alternatives
annas-archive.org
annas-archive.gs
annas-archive.se
