Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof'. Sammen danner de et unikt fingeraftryk.
Sorter

Keyphrases

Computer Science