William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo
  • Member for 13 years, 6 months
  • Last seen more than a month ago
Stats
1,231
reputation
117k
reached
14
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; cryptography.

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

1
gold badge
12
silver badges
16
bronze badges
12
Score
7
Posts
37
Posts %
12
Score
2
Posts
11
Posts %
10
Score
3
Posts
16
Posts %
9
Score
5
Posts
26
Posts %
7
Score
5
Posts
26
Posts %
7
Score
3
Posts
16
Posts %
Top posts
View all questions and answers