Explore projects
- 
Updated
- 
Updated
- 
Updated
- 
Updated
- 
Updated
- 
- 
Automatisk genererte reST-filer fra https://git.app.uib.no/dok/standardtekster (som igjen hentes av https://git.app.uib.no/it/site/dok.app.uib.no ) Updated
- 
Updated
- 
Empty repository for those that want to start from scratch. Maven has been configured. Updated
- 
Updated
- 
- 
Updated
- 
An Agda development of set theory inside homotopy type theory. Updated
- 
- 
Updated
- 
Updated
 
 
 
 
 
 
 
