Finalmente un tool open-source per smanettare con Lean 4 senza impazzire. Scopriamo insieme cos’è Leanstral e perché potrebbe diventare il tuo nuovo migliore amico per le prove formali.
Scopri di più Leanstral: Il tuo nuovo compagno di prove formali (e non solo)