Andrew LubrinoFive free resources to get you started with the Lean Theorem ProverYour roadmap to getting started with LeanMar 5, 20222Mar 5, 20222
Andrew LubrinoThe only way to really teach yourself discrete mathTextbooks just aren’t enough anymoreFeb 23, 20222Feb 23, 20222