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

No Backlinks

No Transclusions

Page Last Modified @ Mon Mar 30 11:50:46 UTC 2026 Exported from CardiganBay @ 2026-04-14T12:47:00.377917207