| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| bussproof-colorful-manual.tex | 18 KiB | |||
| bussproofs-colorful-manual.pdf | 336 KiB | |||
| bussproofs-colorful.sty | 10 KiB | |||
| README | 1.6 KiB |
| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| bussproof-colorful-manual.tex | 18 KiB | |||
| bussproofs-colorful-manual.pdf | 336 KiB | |||
| bussproofs-colorful.sty | 10 KiB | |||
| README | 1.6 KiB |