URL details: ualib.github.io/agda-algebras/Preface.html#how-to-cite-the-agda-algebras-library

home > domains > ualib.github.io > ualib.github.io/agda-algebras/Preface.html#how-to-cite-the-agda-algebras-library

URL title: Preface (The Agda Universal Algebra Library)
URL last crawled: 2022-06-19
URL speed: 0.716 MB/s, downloaded in 0.030 seconds

open external url

We found no external links pointing to this url.