typednoteslinen0.18.0

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

  1. typednotes/infrauses00f8f45

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