GitHub - ualib/docs.ualib.org: Documentation for the agda-algebras library · GitHub

Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
CNAME		CNAME
Makefile		Makefile
bussproofs.sty		bussproofs.sty
conf.py		conf.py
hyperlink_references.rst		hyperlink_references.rst
links.rst		links.rst
mylogic.sty		mylogic.sty
ualib-docs.agda-lib		ualib-docs.agda-lib
unicode-symbols-sphinx.tex.txt		unicode-symbols-sphinx.tex.txt
unixode.sty		unixode.sty

About

Documentation for the agda-algebras library

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages