typednoteslinen0.19.1

Lean Standard Library
Displaying 1-1 of 1 packages depending on typednotes/linen
Sort by

  1. typednotes/infrausesv0.19.1

    Terraform-style infrastructure as code in Lean 4: dependently-typed target and observed cloud state, so an unrealisable target is a compile error