lean4 project containing utilities for natural2lean
Primary LanguageLean
No issues in this repository yet.