Links from ualib.github.io to other domains (6)

home > domains > ualib.github.io > links out

domain urls (11) domain links in (3) domain links out (6)

found date
link text
from url
to url
2022-07-03
William DeMeo
/agda-algebras/agda-algebras.html
williamdemeo.gitlab.io
2022-06-19
dependent types
/agda-algebras/Preface.html#how-to-cite-the-agda-algebras-library
en.wikipedia.org/wiki/Dependent_type
2022-04-14
Agda
/agda-algebras/index.html
wiki.portal.chalmers.se/agda/pmwiki.php
2022-04-13
Birkhoff HSP Theorem
/agda-algebras/Preface.html#how-to-cite-the-agda-algebras-library
ualib.org/Setoid.Varieties.HSP.html#proof-of-the-hsp-theorem
2022-02-02
github.com/ualib/agda-algebras
/agda-algebras/agda-algebras.html
gitub.com/ualib/agda-algebras
2022-01-12
Jacques Carette
/agda-algebras/index.html
cas.mcmaster.ca/~carette/

Plain text list