recentpopularlog in

ianweatherhogg : induction   4

Poleiro, the Coq blog - Archives
A blog about the Coq proof assistant and
programming language
blogs  hakyll  coq  game  theory  combinator  proof  induction  type 
april 2014 by ianweatherhogg

Copy this bookmark:





to read