I'm into formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Scala and Spark.
- Boulder, CO, USA
-
06:50
(UTC -06:00) - williamdemeo.org
- https://orcid.org/0000-0003-1832-5690
Highlights
Block or Report
Block or report williamdemeo
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.