/mathematica

Lean-independent implementation of the MM-Lean link

Primary LanguageLean

This repository is not active