GitHub - jonas-frey/segal

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.project		.project
README		README
icat.hlean		icat.hlean
ifin.hlean		ifin.hlean
my_prelude.hlean		my_prelude.hlean
prop_join.hlean		prop_join.hlean
vector.hlean		vector.hlean

Repository files navigation

* install lean2 and clone spectral in this directory
* "suspicious state" error messages mean that the imports are not OK

No description, website, or topics provided.