automated theorem proving
4 feeds in the directory cover this.
Subscribe:.rss.atom.json.md.m3u.pls
M-Phi
A blog dedicated to mathematical philosophy.
Tobias J. Osborne's research notes
An open science weblog focussed on quantum information theory, condensed matter physics, and mathematical physics
The Blag
Logic, Computer Graphics, OCaml, Rust, etc.
The Blag
Logic, Computer Graphics, OCaml, Rust, etc.
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics