Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
- Luís Cruz-Filipe
- , Peter Schneider-Kamp
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review