Skip to main content
William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo's user avatar
William DeMeo
  • Member for 13 years, 2 months
  • Last seen more than a month ago
Stats
3,676
reputation
407k
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; cryptography.

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

This user doesn’t have any gold badges yet.
18
silver badges
27
bronze badges
94
Score
20
Posts
29
Posts %
69
Score
22
Posts
31
Posts %
33
Score
4
Posts
6
Posts %
30
Score
4
Posts
6
Posts %
29
Score
10
Posts
14
Posts %
27
Score
8
Posts
11
Posts %
Top posts
View all questions and answers