Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods (via soareschen) — discussion

#education #formalmethods #plt #video