HoTT-categories icon indicating copy to clipboard operation
HoTT-categories copied to clipboard

Published 20 hours ago • verified publisher icon CategoricalData

Port graphs from catdb

Open JasonGross opened this issue 12 years ago • 0 comments

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Graph.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/GraphTranslation.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/ComputableGraphCategory.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Graphs.v?at=default

JasonGross avatar Oct 18 '13 02:10 JasonGross