infra0.10.1
Terraform-style infrastructure as code in Lean 4: dependently-typed target and observed cloud state, so an unrealisable target is a compile error
1-20 of 21 versions of infra
Sort by
Date
- 0.10
0.10.1v0.10.1v4.33.1 - 0.10
0.10.1v0.10.1v4.33.1 - 0.10
0.10.0v0.10.0v4.33.1 - 0.9
0.9.4v0.9.4v4.33.1 - 0.9
0.9.3v0.9.3v4.33.1 - 0.9
0.9.2v0.9.2v4.33.1 - 0.9
0.9.1v0.9.1v4.33.1 - 0.9
0.9.0v0.9.0v4.33.1 - 0.5
0.5.0v0.5.0v4.33.1 - 0.4
0.4.11v0.4.11v4.33.1 - 0.4
0.4.10v0.4.10v4.33.1 - 0.4
0.4.9v0.4.9v4.33.1 - 0.4
0.4.8v0.4.8v4.33.1 - 0.4
0.4.7v0.4.7v4.33.1 - 0.4
0.4.6v0.4.6v4.33.1 - 0.4
0.4.5v0.4.5v4.33.1 - 0.4
0.4.4v0.4.4v4.33.1 - 0.4
0.4.3v0.4.3v4.33.1 - 0.4
0.4.2v0.4.2v4.33.1 - 0.4
0.4.1v0.4.1v4.33.1