https://williamdemeo.org/ 1980-01-01 https://williamdemeo.org/about/ 1980-01-01 https://williamdemeo.org/contact/ 1980-01-01 https://williamdemeo.org/publications/ 1980-01-01 https://williamdemeo.org/research/ 1980-01-01 https://williamdemeo.org/agda-ualib/ 1980-01-01 https://williamdemeo.org/agda-ualib/birkhoff-hsp/ 1980-01-01 https://williamdemeo.org/agda-ualib/composition/ 1980-01-01 https://williamdemeo.org/agda-ualib/elementary-facts/ 1980-01-01 https://williamdemeo.org/agda-ualib/f-algebras/ 1980-01-01 https://williamdemeo.org/agda-ualib/relations/ 1980-01-01 https://williamdemeo.org/archive/ 1980-01-01 https://williamdemeo.org/blog/ 1980-01-01 https://williamdemeo.org/blog/diaconescus-theorem/ 1980-01-01 https://williamdemeo.org/blog/a-problem-of-palfy-and-saxl/ 1980-01-01 https://williamdemeo.org/blog/groupsound/ 1980-01-01 https://williamdemeo.org/blog/ieprops/ 1980-01-01 https://williamdemeo.org/blog/isotopy/ 1980-01-01 https://williamdemeo.org/blog/overalgebras/ 1980-01-01 https://williamdemeo.org/blog/three-sat-and-partition-lattices/ 1980-01-01 https://williamdemeo.org/blog/congruences-of-partial-algebras/ 1980-01-01 https://williamdemeo.org/design/rendering/ 1980-01-01 https://williamdemeo.org/design/style/ 1980-01-01 https://williamdemeo.org/probability-quiz/ 1980-01-01 https://williamdemeo.org/projects/ 1980-01-01 https://williamdemeo.org/projects/agda-algebras/ 1980-01-01 https://williamdemeo.org/projects/ai-for-formal-verification/ 1980-01-01 https://williamdemeo.org/projects/cardano-ledger/ 1980-01-01 https://williamdemeo.org/projects/universal-algebra/ 1980-01-01 https://williamdemeo.org/python/ 1980-01-01 https://williamdemeo.org/python/computerlab/ 1980-01-01 https://williamdemeo.org/python/computerlab/lab01/ 1980-01-01 https://williamdemeo.org/python/export-sage/ 1980-01-01 https://williamdemeo.org/python/lab1/ 1980-01-01 https://williamdemeo.org/python/lab2/ 1980-01-01 https://williamdemeo.org/python/lab3/ 1980-01-01 https://williamdemeo.org/python/lab4/ 1980-01-01 https://williamdemeo.org/talks/vols/ 1980-01-01 https://williamdemeo.org/touchpad-forensics/ 1980-01-01 https://williamdemeo.org/typefunc/ 1980-01-01 https://williamdemeo.org/cv/ 1980-01-01 https://williamdemeo.org/blog/archive/2017/ 1980-01-01 https://williamdemeo.org/blog/archive/2015/ 1980-01-01 https://williamdemeo.org/blog/archive/2014/ 1980-01-01 https://williamdemeo.org/blog/category/mathematics/ 1980-01-01 https://williamdemeo.org/blog/category/formal-verification/ 1980-01-01 https://williamdemeo.org/blog/page/2/ 1980-01-01 https://williamdemeo.org/blog/archive/2014/page/2/ 1980-01-01 https://williamdemeo.org/blog/category/mathematics/page/2/ 1980-01-01 https://williamdemeo.org/blog/tags/ 1980-01-01