3 ms·
Is there a proof that every possible proof is a generation in the grammar of lean or rocq? Sounds like an unsubstantiated claim.
by goatlover 13d ago
Is there a proof that every possible proof is a generation in the grammar of lean or rocq? Sounds like an unsubstantiated claim.