I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
- Boulder, CO, USA
-
22:13
(UTC -07:00) - williamdemeo.org
- https://orcid.org/0000-0003-1832-5690
Highlights
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.