Hugging Face's logo

Spaces:
DineshAI
/
kovefbSXbQ
Running

App Files Community
kovefbSXbQ / verification /Formalization /Mutants /Claim2ReversedPostfixed.lean

Commit History

Add Lean 4 kernel proofs for all six claims
6bbcc6f
verified

DineshAI commited on