Foreword to: Special issue on interactive theorem provers
DOI10.1080/10586458.2022.2088982zbMATH Open1492.00054OpenAlexW4283455599WikidataQ113850290 ScholiaQ113850290MaRDI QIDQ5094469FDOQ5094469
Authors:
Publication date: 3 August 2022
Published in: Experimental Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/10586458.2022.2088982
Recommendations
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to combinatorics (05-06) Proceedings, conferences, collections, etc. pertaining to number theory (11-06)
Cited In (8)
- Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
- Title not available (Why is that?)
- Interactive theorem proving. Preface of the special issue
- Special issue: Formal proof
- Preface to the special issue: Interactive theorem proving and the formalization of mathematics
- A survey of interactive theorem proving
- Abstraction boundaries and spec driven development in pure mathematics
- Mathematics and the formal turn
This page was built for publication: Foreword to: Special issue on interactive theorem provers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094469)