[go: up one dir, main page]

A Proof-Oriented Programming Language (In Chinese)

Slides

Date
Aug 9, 2024 4:30 PM — 5:00 PM
Event
Beautiful Lake Seminar, CCF
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.