formal-methods
Everything on Ground Truth tagged “formal-methods” — 2 items.
Mistral releases a lean, open model built for formal math proofs News
Leanstral 1.5 is a free, open model specialized for writing machine-checked mathematical proofs, using a design that keeps only a small slice of itself active at a time.
Leanstral 1.5 Tool
A free, open mixture-of-experts model specialized for writing machine-checked Lean 4 proofs and translating ordinary math into formal, verifiable form.