Logical Foundations :: https://softwarefoundations.cis.upenn.edu/lf-current/index.html
Primary LanguageCoqApache License 2.0Apache-2.0