prover
4 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
The Acorn Theorem Prover Blog
The Acorn Theorem Prover Blog
the logic grimoire
Risen Crypto
Mathematical Cryptography, zkSNARKs
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics