Lean code inspired by lecture notes from CO342 at UWaterloo
Primary LanguageLean
This repository is not active