GitHub repository: JasonGross/lawvere
Primary language: Agda
Created: 2023-08-06T22:03:36Z
Description: A formalization of some generalized versions of Löb's theorem and Lawvere's Fixpoint theorem