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

Luís Cruz-Filipe, Peter Schneider-Kamp

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Fingerprint

Dive into the research topics of 'Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof'. Together they form a unique fingerprint.

Engineering & Materials Science