GitHub repository: JasonGross/metacoq-lob
Primary language: Coq
Description: A WIP formalization of Löb's theorem based on MetaCoq