/theorem-proving

Going through Theorem Prooving in Lean 4

This repository is not active