Repository navigation

v0.4.0

github-actions released this 21 Sep 17:22

· 6 commits to main since this release

ea3aff0

0.4.0 (2026-09-21)

Features

dependency graph generated from the architecture checker (7529a51)
executable architecture proofs (make proof) (dc1082d)

Assets 2