AxiomMath/axiom-lean-engine

Lean evaluation and metaprogramming utilities for provers.

语言：Python · GitHub 星标：177 · Fork：25

在 GitHub 上查看原仓库