LeanLang

ThoughtStorms Wiki

Formal proof / programming language

https://lean-lang.org/

And an AI model optimised for it : https://docs.mistral.ai/models/leanstral-26-03

Backlinks (1 items)

ComputerAidedMaths

No Transclusions