Let's Abandon the Cogito and Use Type Theory Instead #1 Post by bvssvni » Wed, Feb 16, 2022, 2:21 PM UTC Let's Abandon the Cogito and Use Type Theory Insteadadvancedresearch.github.io