zilbersteinPom0.1.0

A Denotational Model for Concurrent Programs in Lean
#math
Sort by
  1. Git dependency.
    Found on Reservoir.

    domain-theory5c667c3

    A Lean Library for Domain Theory
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.32.2

    The math library of Lean 4