Skip to content

Latest commit

 

History

History
21 lines (18 loc) · 2.18 KB

CUSTOMIZATIONS.md

File metadata and controls

21 lines (18 loc) · 2.18 KB

Custom editions and derivative works

forallx has been adapted and incorporated into over a dozen custom editions and derivative works. Here is a list of several.

The year listed is the date of the first fork. Many have been revised and have a more recent edition.

  1. Dave Witte Morris and Joy Morris, University of Lethbridge, Proofs and Concepts: the fundamentals of abstract mathematics (2009)
  2. J. Robert Loftis, Lorain County Community College, forall x: Lorain County remix and An Open Introduction to Logic (2010)
  3. Tim Button, University of Cambridge, UK, forall x: Cambridge (2012)
  4. Nathan Carter, Bentley University, forall x in Lurch (2013)
  5. [in Spanish] José Ángel Gascón, Universidad Nacional de Educación a Distancia, Spain paratodo x: Una Introducción a la Lógica Formal (2015)
  6. E.J.R. Elliott, University of Leeds, forall x Leeds (2016)
  7. Aaron Thomas-Bolduc and Richard Zach, University of Calgary, forall x: Calgary remix (2017)
  8. Anthony Eagle, University of Adelaide, forall x Adelaide (2017)
  9. Jonathan Jenkins Ichikawa, University of British Columbia, forall x UBC edition (2017)
  10. Kathryn Lindeman, Saint Louis University, forall x: SLU (2017)
  11. Kenneth Winkler, Yale University, forall x: Yale (2019)
  12. [in Portuguese] Daniel Durante and Maria da Paz Nunes de Medeiros, Para Todxs: Natal (2020)
  13. [in German] Simon Wimmer, TU Dortmund. Forall x: Dortmund (2020)
  14. [in Icelandic] Ásgeir Berg Matthíasson, University of Iceland. Fyrir öll x (2022)
  15. Colin R. Caret, Utrecht University, forall x: Utrecht (2023)