3 ms·
The vast majority of formal proofs don't run into any limitations with the CiC. They run into more practical limitations with the tooling and available librari
by Jweb_Guru 8y ago
The vast majority of formal proofs don't run into any limitations with the CiC. They run into more practical limitations with the tooling and available libraries and tactics.