A tiny Python library/DSL to construct Python formal models
By caotic123 · 2026-10-26 · 1 points · 1 comments
https://github.com/caotic123/PyMagic/
By caotic123 · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews