Formalize foundations of universal algebra in dependent type theory
Explore state-of-the-art benchmarks and papers for Formalize foundations of universal algebra in dependent type theory in computer-code-9.
Explore state-of-the-art benchmarks and papers for Formalize foundations of universal algebra in dependent type theory in computer-code-9.
