No results found

LogicColloquiumTutorial

The Lean tutorial for Logic Colloquium 2023
Displaying 1-1 of 1 versions of LogicColloquiumTutorial
Sort by
  1. Not a part of any version track.
    9bb5d37
    a year ago
    Released on July 8, 2023 at 5:46:29PM
    Commit 9bb5d37 builds on its old leanprover/lean4:nightly-2023-06-20
    nightly-2023-06-20