rulrok / MetamathAnalysis Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Graph based analysis of the Metamath database

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 474 Commits
lib		lib
mm sets		mm sets
nbproject		nbproject
output		output
src		src
.gitignore		.gitignore
README.md		README.md
build.xml		build.xml

Repository files navigation

MetamathAnalysis

Graph based analysis of the Metamath database

About

Graph based analysis of the Metamath database

Report repository

Releases

Packages

No packages published

Languages