No results found

LeanSAT

This package provides an interface and foundation for verified SAT reasoning
Displaying 1-1 of 1 versions of LeanSAT
Sort by
  1. Not a part of any version track.
    b83b5d8
    a month ago
    Released on August 29, 2024 at 8:20:56AM
    Commit b83b5d8 builds on its old leanprover/lean4:nightly-2024-08-02
    nightly-2024-08-02
    52.3 MB Build archive size: 52265392 bytes.