GitHub repository: mmontin/libndt
Primary language: Coq
Description: A formal library on spreadable properties over linked nested datatypes