ProofGeneral
Users following ProofGeneral
Ethan Reece
sudoer777
Interested in Nix, Linux, Rust, systems, and DevOps. See Codeberg for my main projects.
Dominic Verity
dom-verity
Category Theorist and programmer by day, bad drummer by night.
Macquarie University North Ryde, Sydney, NSW 2109, Australia
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
