I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
- Boulder, CO, USA
-
17:33
(UTC -06:00) - williamdemeo.org
- https://orcid.org/0000-0003-1832-5690
Highlights
Pinned Loading
-
agda-algebras
agda-algebras PublicForked from ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
-
IntersectMBO/formal-ledger-specifications
IntersectMBO/formal-ledger-specifications PublicFormal specifications of the cardano ledger
-
dissertation_wjd
dissertation_wjd PublicPhD dissertation in universal algebra and lattice theory
TeX 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.