Show HN: Litex – A Python-like proof language

(litexlang.com) by sanyan | Oct 16, 2026 | 0 comments on HN