computer-code-8
Formalize foundations of universal algebra in dependent type theory
3260 papers • 126 benchmarks • 313 datasets
This task has no description! Would you like to contribute one?
(Image credit: Papersgraph)
Benchmarks
These leaderboards are used to track progress in formalize-foundations-of-universal-algebra-in-dependent-type-theory-8
Trend
Dataset
Best Model
Actions
No benchmarks available.
Libraries
iUse these libraries to find formalize-foundations-of-universal-algebra-in-dependent-type-theory-8 models and implementations
Datasets
No datasets available.
Subtasks
No subtasks available.
Most implemented papers
The Agda Universal Algebra Library, Part 1: Foundation
William DeMeo•Mon Mar 08 2021
Several important aspects of the logical foundations on which the Agda Universal Algebra Library is built are described, including all of the types defined in the first 13 modules of the library, with special attention given to those details that seem most interesting or challenging from a type theory or mathematical foundations perspective.
3