Read news on formal systems with our app.
Read more in the app
A brief meditation on formal systems and lying goblins
