 Mathematical Intelligence (Proof assistant) (source code)

by Ciro Santilli (@cirosantilli, 37)

= Mathematical Intelligence
{disambiguate=Proof assistant}
{c}

https://github.com/wenitte/mathematical-intelligence

This will never work but OK. New custom language after <Lean>.

 Back to article page