GitHub - gares/matita: Matita proof assistant (not official)

Name	Name	Last commit message	Last commit date
Latest commit Enrico Tassi ignore Oct 2, 2014 976ee9d · Oct 2, 2014 History 5 Commits
components	components	branch to the refiner and not grafite_engine	Oct 2, 2014
matita	matita	experiment: embed elpi	Sep 29, 2014
.gitignore	.gitignore	ignore	Oct 2, 2014
Makefile	Makefile	initial import of tarball 20140903 sent by CSC	Sep 23, 2014
Makefile.defs.in	Makefile.defs.in	initial import of tarball 20140903 sent by CSC	Sep 23, 2014
configure.ac	configure.ac	experiment: embed elpi	Sep 29, 2014