zilbersteindomain-theory0.1.0

A Lean Library for Domain Theory
#math
Displaying 1-1 of 1 packages depending on zilberstein/domain-theory
Sort by

  1. zilberstein/Pomuses5c667c3

    A Denotational Model for Concurrent Programs in Lean