Formalize foundations of universal algebra in dependent type theory
1 papers with code • 0 benchmarks • 0 datasets
This task has no description! Would you like to contribute one?
Benchmarks
These leaderboards are used to track progress in Formalize foundations of universal algebra in dependent type theory
No evaluation results yet. Help compare methods by
submitting
evaluation metrics.
Most implemented papers
The Agda Universal Algebra Library, Part 1: Foundation
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 theory using the Agda programming language and proof assistant.