zilbersteindomain-theory0.1.0

A Lean Library for Domain Theory
#math
Displaying 1-1 of 1 versions of domain-theory
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    11 days ago
    Released on August 3, 2026 at 11:51:02AM
    Commit 5c667c3 builds on its recent leanprover/lean4:v4.32.2
    v4.32.2
    245.9 KB Build archive size: 245879 bytes.