Code

Leanstral

Lean 4 formal proof agent models.

Versions

2 versions
Leanstral: every version, with specs and benchmarks · supermarket.dev