No results found

Calculemus2_es

Ejercicios de demostración con Lean4 e Isabelle/HOL.
Displaying 1-1 of 1 versions of Calculemus2_es
Sort by
  1. Not a part of any version track.
    4fdc59d
    19 hours ago
    Released on October 16, 2024 at 7:14:38PM
    Commit 4fdc59d builds on its recent leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3
    2.7 MB Build archive size: 2656179 bytes.