PC22. Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany

github.com/cj-xu/PC22

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.