Curry-Howard, Proposition Types, Constructive Logic, Verification
We’re announcing a major advance in the study of fluid dynamics with AI 💧 in a joint paper with researchers from @BrownUniversity, @nyuniversity and @Stanford. ...
threadreaderapp.com·7h
Loading...Loading more...