user avatar
user avatar
user avatar
William DeMeo
  • Member for 11 years
  • Last seen more than a month ago
Stats
3,196
reputation
345k
reached
69
answers
1
question
Loading…
About

I'm into formalization of mathematics in Agda and Lean; logic, universal algebra, and model theory; category theory; complexity theory for constraint satisfaction problems; functional programming: Scala/Spark for algebra, machine learning, and big data.

Check out the Agda Universal Algebra Library (agda-algebras) and its documentation (ualib.org).

This user doesn’t have any gold badges yet.
15
silver badges
27
bronze badges
66
Score
20
Posts
29
Posts %
50
Score
22
Posts
31
Posts %
30
Score
4
Posts
6
Posts %
26
Score
8
Posts
11
Posts %
24
Score
4
Posts
6
Posts %
23
Score
10
Posts
14
Posts %
Top posts
View all questions and answers