No results found

crup

A Checker for RUP proofs written in Lean 4
#rup #sat
Displaying 1-1 of 1 versions of crup
Sort by
  1. Not a part of any version track.
    f693894
    a year ago
    Released on December 16, 2023 at 12:31:35PM
    Commit f693894 builds on its old leanprover/lean4:v4.3.0
    v4.3.0