Seamless Global Nature

Hi, I’m Patrick. I study mathematics at Chalmers and the University of Gothenburg, and I write about logic, automated reasoning, formal verification and Rust. My current project is Foras, an automated theorem prover written in Rust, and RailCheck, a verification case study for railway interlocking systems.

Research holds longer pieces with interactive figures. Labs are working projects you can try or read about. Agents are my small code projects, one per crate family. The Blog is everything else, newest first.