Settings

Theme

The Z3 Theorem Prover

github.com

35 points by benoitg 8 days ago · 2 comments

Reader
sagacity 8 days ago

Ah, looks like the submitter has been participating in Advent Of Code.

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection