tsvibt/theoriz3r

z3 wrapper for generating questions

3 best points · 0 comments · 1 Hacker News post · 3 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (3 points, 0 comments, by tbt, 2023-09-06)