Diffusion coq-project (master) History

History
masterd0de388131d6fae86d7a082…

Oct 3 2019

clean outputs
d0de388131d6
·Liu Fengyun on Oct 3 2019, 13:58.
Add first-order logic example
bbbc47e0cd07
·Liu Fengyun on Oct 3 2019, 13:16.
WIP - add content about Curry-Howard correspondence
d50e27d6339d
·Liu Fengyun on Oct 3 2019, 10:43.

Oct 2 2019

WIP - functional programming in Coq
46137b8e20f1
·Liu Fengyun on Oct 2 2019, 17:15.

Oct 1 2019

Initial commit
4d96f88bb6da
·Liu Fengyun on Oct 1 2019, 17:18.