theorem prover
3 feeds in the directory cover this.
Subscribe:.rss.atom.json.m3u.pls
Nathan Taylor's blog (ntaylor.ca)
A blog about programming, theorem provers, and formal methods
Joseph Tooby-Smith
A portfolio website
The Acorn Theorem Prover Blog
The Acorn Theorem Prover Blog
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics