William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo
  • Member for 12 years, 3 months
  • Last seen more than 1 year ago
Stats
1,131
reputation
106k
reached
13
answers
5
questions
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.
11
silver badges
15
bronze badges
12
Score
7
Posts
39
Posts %
12
Score
2
Posts
11
Posts %
10
Score
3
Posts
17
Posts %
9
Score
5
Posts
28
Posts %
7
Score
5
Posts
28
Posts %
7
Score
2
Posts
11
Posts %
Top posts
View all questions and answers