Like this? https://coq-tactician.github.io/ | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zaik on Sept 15, 2022 \| parent \| context \| favorite \| on: The Little Prover Like this? https://coq-tactician.github.io/

worldsayshi on Sept 15, 2022 [–]

Interesting! Although I realize I might actually be looking for a SAT solver suggester than what I said.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact