PC19. Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany

github.com/cj-xu/PC19

Vaya's read on this project

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

Updates

No recent activity.