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

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

open external url

1 external links to this url

Only links from external domains are shown on this page.