Proof-Refactor

Lean proof examples

Loading…

Loading examples…