proof assistant
7 feeds in the directory cover this.
Unnamed Website
Recent content on Unnamed Website
Unnamed Website
Recent content on Unnamed Website
the logic grimoire
Gyuri's blog
Recent content in Blogs on György Kurucz's blog
Hey There Buddo!
A blog about life, programming, math, logic, and physics.
Hey There Buddo!
A blog about life, programming, math, logic, and physics.
Leonardo de Moura
Blog posts and notes from Leonardo de Moura — creator of Lean and Z3.
Machine-readable: JSON · all topics