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

Luís Cruz-Filipe, Peter Schneider-Kamp

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer 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.

Teknik og materialevidenskab