Foreword to: Special issue on interactive theorem provers
From MaRDI portal
Publication:5094469
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)
Recommendations
Cited in
(8)- Abstraction boundaries and spec driven development in pure mathematics
- Mathematics and the formal turn
- Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
- scientific article; zbMATH DE number 3870635 (Why is no real title available?)
- 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
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)