No results found

M1F-explained

A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Displaying 1-1 of 1 versions of M1F-explained
Sort by
  1. Not a part of any version track.
    10bdd7f
    a year ago
    Released on August 24, 2023 at 12:43:47PM
    Commit 10bdd7f builds on its old leanprover/lean4:nightly-2023-08-05
    nightly-2023-08-05