QA9
queuea9.wordpress.com
A blog exploring the computational logic literature, with posts on topics like automated reasoning, proof theory, and formal methods.
The blog consists of in-depth posts about computational logic, often dissecting specific papers and formal concepts. It is a niche resource for those with a serious interest in the intersection of computer science and mathematical logic.
Checked with Google Web Risk · 9 hours ago
- language
- EN
- here since
- July 2026