A formal library on spreadable properties over linked nested datatypes
Primary LanguageCoq
This repository is not active