Learn basic of LEAN and prove basic results from "Fonaments" class
Primary LanguageLeanOtherNOASSERTION
A game to learn LEAN.