P. D. Magnus’s forall x has been around for over a decade, and because it’s open, people can use it as a starting point for derivative versions with different features.
Richard Zach, interviewed in the latest issue of The Reasoner
Skip to content