3 ms·
Like this? https://coq-tactician.github.io/ https://coq-tactician.github.io/
by zaik 4y ago
Like this? https://coq-tactician.github.io/ https://coq-tactician.github.io/
- worldsayshi 4y agoInteresting! Although I realize I might actually be looking for a SAT solver suggester than what I said.