A small course on the inductive accessibility predicate in Coq
Primary LanguageCoq
This repository is not active