4 citations · 20 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 1 cited
The Agda Universal Algebra Library, Part 1: Foundation
William DeMeo
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type…
cs.LO2021★ 1 cited
The Agda Universal Algebra Library, Part 2: Structure
William DeMeo
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type…