Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
KvR		KvR
.gitignore		.gitignore
0Polygraph.agda		0Polygraph.agda
1Polygraph.agda		1Polygraph.agda
2Polygraph.agda		2Polygraph.agda
3Polygraph.agda		3Polygraph.agda
Basic.agda		Basic.agda
LICENSE		LICENSE
Makefile		Makefile
Polygraph.agda		Polygraph.agda
README.md		README.md

Repository files navigation

A formalization of polygraphs in Agda

About

Polygraphs in Agda.

smimram.github.io/agda-polygraphs/

3 stars

1 watching

Report repository

Releases

Used by

Contributors

Languages