Executing Proogs as Computer Programs

Monday 14-16, HS B 252, start 16th October 2017

The Fan Theorem

• Preliminaries.lagda
• Sequence.lagda
• KECA.lagda
• Untruncation.lagda
• Fan20171204_unfilled.lagda
• Fan20171211_unfilled.lagda
• Fan.lagda

Course page

Chuangjie Xu

Last modified: Thur 28th Dec 2017