Name		Name	Last commit message	Last commit date
static		static
.gitignore		.gitignore
AppIO.hs		AppIO.hs
Apps.hs		Apps.hs
Coq.hs		Coq.hs
CoqHTML.hs		CoqHTML.hs
DodgyXML.hs		DodgyXML.hs
Expr.hs		Expr.hs
IndexPage.hs		IndexPage.hs
Main.hs		Main.hs
README.md		README.md
Services.hs		Services.hs
XMLPipe.hs		XMLPipe.hs
run		run

Repository files navigation

math-db

Database of mathematical structures available in proof assistants such as Coq and Agda

About

Database of mathematical structures available in proof assistants such as Coq and Agda

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages