3 ms·
Wow, nice work [1] ! I used to work on CryptoMiniSat a lot. Nowadays I'm doing model counting and maybe synthesis, if all goes well [2] [1] https://github.com/
by zero_k 2y ago
Wow, nice work [1] ! I used to work on CryptoMiniSat a lot. Nowadays I'm doing model counting and maybe synthesis, if all goes well [2]
[1] https://github.com/leanprover/lean4/pulls/bollu https://github.com/leanprover/lean4/pulls/bollu
[2] https://x.com/SoosMate/status/1827308967208317241 https://x.com/SoosMate/status/1827308967208317241