An extensible mini-language to generate mathematical notation for executable and testable Python.
Home Page:https://ben-denham.github.io/lemma
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool