theorem proving
7 feeds in the directory cover this.
Subscribe:.rss.atom.json.md.m3u.pls
The House Carpenter
Guesses based on what each set of time and change is touching
Strings over Σ
A blog about computer science, logic and programming. Occasionally other topics reasonably consistent with the rest.
The Blag
Logic, Computer Graphics, OCaml, Rust, etc.
The Blag
Logic, Computer Graphics, OCaml, Rust, etc.
Gyuri's blog
Recent content in Blogs on György Kurucz's blog
emallson.net - Blog
jtriley
jtriley
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics