Ekstern dokumentasjon som er publisert på bott-samarbeidet.no

An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

fork av geerlinguy/apache-ansible https://github.com/geerlingguy/ansible-role-apache

fuseki rolle