lean4 project containing utilities for natural2lean
Primary LanguageLean
This repository is not active