computer-code-19
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-19
Trend
Dataset
Best Model
Actions
No benchmarks available.
Libraries
iUse these libraries to find formalize-foundations-of-universal-algebra-in-dependent-type-theory-19 models and implementations
Datasets
No datasets available.
Subtasks
No subtasks available.