No results found

cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types
Displaying 1-1 of 1 versions of cpdt-lean
Sort by
  1. Not a part of any version track.
    6589613
    2 years ago
    Released on June 5, 2022 at 7:38:48PM
    Commit 6589613 builds on its old leanprover/lean4:nightly-2022-06-05
    nightly-2022-06-05