Steven Perron profile picture

Steven Perron

Is this your author profile? Create an account to claim and customize it!

Stand Alone

GL*: a propositional proof system for logspace.
The Algorithmic Lifestyle Reclaiming Your Time, Health, and Happiness On and Off Social Media