 Source: cirosantilli/mathematical-intelligence-proof-assistant

= 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