GitHub - sharmaeklavya2/theoremdep: Track prerequisites of theorems and definitions. Generated using ConcepDAG.

Name		Name	Last commit message	Last commit date
Latest commit History 119 Commits
nodes		nodes
searchinfo		searchinfo
theme		theme
.gitignore		.gitignore
about.html		about.html
index.html		index.html
search.html		search.html

About

Track prerequisites of theorems and definitions. Generated using ConcepDAG.

sharmaeklavya2.github.io/theoremdep/

math gh-pages-site

Report repository

Languages

HTML 99.7%
Other 0.3%