Personal fork of Arthur Charguéraud's TLC Coq library, for use as a dependency in other projects
Primary LanguageCoq