Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
Basics of Proofs (2017) [pdf](theory.stanford.edu)134 points by waldarbeiter 3 years ago | 65 comments
![Screenshot of theory.stanford.edu: Recursive Program Synthesis using Paramorphisms [pdf]](https://hn.urlbox.com/shots/renders/2024/7/12/2823f00e-4a20-4194-a7ec-21cdfccb7c97.jpg)
![Screenshot of theory.stanford.edu: Basics of Proofs (2017) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/17/c3da29aa-b9c2-4c09-aedf-41a528cd2ca3.jpg)