A tiny Python library/DSL to construct Python formal models

(github.com) by caotic123 | Oct 26, 2026 | 1 comments on HN