Link: https://www.lib.ua.edu/
Description: webPublication Finder. Explore the libraries electronic resource collections and more
DA: 36 PA: 64 MOZ Rank: 74
Link: https://www.bing.com/alink/link?url=https%3a%2f%2fwww.lib.ua.edu%2f&source=serp-local&h=W5VSxYU70dGny7dMVhsk3y2tbJmvgxaGTBm8p%2b8PM0Q%3d&p=lw_gst&ig=A36A606CE6C5419395C09EE9687FF6CA&ypid=YN873x5255216516113775122
Description:
DA: 3 PA: 39 MOZ Rank: 83
Link: https://ualib.org/
Description: webFeb 2, 2023 · The Agda Universal Algebra Library. (Version 2.04 of 02 Feb 2023) Abstract. The Agda Universal Algebra Library is a collection of types and programs (theorems …
DA: 4 PA: 13 MOZ Rank: 94
Link: https://github.com/ualib/ualib.github.io
Description: webAbstract. The Agda Universal Algebra Library ( UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent …
DA: 41 PA: 18 MOZ Rank: 6
Link: https://github.com/ualib
Description: webThe Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type …
DA: 40 PA: 49 MOZ Rank: 46
Link: https://arxiv.org/abs/2103.05581
Description: webMar 9, 2021 · 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 …
DA: 86 PA: 93 MOZ Rank: 55
Link: https://arxiv.org/pdf/2103.09092v1.pdf
Description: webThe 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 …
DA: 34 PA: 90 MOZ Rank: 92
Link: https://arxiv.org/abs/2103.05581v2
Description: webMar 9, 2021 · The UALib includes a substantial collection of definitions, theorems, and proofs from general algebra and equational logic, including many examples that exhibit …
DA: 9 PA: 75 MOZ Rank: 28
Link: https://ualib.gitlab.io/
Description: webJun 16, 2021 · Agda UALib is a library of types and programs that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language. It includes a complete proof of the Birkhoff HSP …
DA: 7 PA: 34 MOZ Rank: 54