SafeVerify

Assess

Tools

A verification system used to validate target theorems and proof correctness.

Why it's here

Placed in Assess: 1 article(s) of evidence from 1 source(s), led by model releases, with 0 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.

Evidence (1)

8Hacker News·7/3/2026model_release
Leanstral 1.5 boosts Lean 4 proof engineering
Leanstral 1.5 is a new free Apache-2.0 licensed model from Mistral AI focused on formal verification and proof engineering in Lean 4. It reports major benchmark gains, including saturating miniF2F, solving 587/672 PutnamBench problems, and setting new results on FATE-H and FATE-X, while also finding bugs in open-source codebases.