Conversation

Brendan Zabarauskas

@brendanzab

A new, hidden level of Software Foundations? 😱

Quote Tweet

José A. Alonso

@Jose_A_Alonso

· Aug 26, 2020

Verifiable C. ~ Andrew W. Appel, Qinxiang Cao. https://softwarefoundations.cis.upenn.edu/vc-current/ #eBook #ITP #Coq

8:12 AM · Aug 26, 2020·Twitter Web App

8

Likes

Anthony Ramine

@nokusu

·

Aug 26, 2020

Replying to

@brendanzab

This is a DLC

1

1

Brendan Zabarauskas

@brendanzab

·

Aug 26, 2020

Enable noclip mode

1