A formal library on spreadable properties over linked nested datatypes
Primary LanguageCoq
No issues in this repository yet.