Diffusion coq-project (master) History

R9452/demo.ipynb
masterdd6f828f3525f0f81cf37c7…

Nov 4 2020

Fix ordering of cells
e6b313e1483f
·Liu Fengyun on Nov 4 2020, 17:51.
Fix box type
9f9a0c19f973
·Liu Fengyun on Nov 4 2020, 17:48.
Improve text and proof for even_double
f65134aee3cb
·Liu Fengyun on Nov 4 2020, 17:30.

Dec 12 2019

Fix typo
b9bc924cb89b
·Liu Fengyun on Dec 12 2019, 16:09.

Nov 21 2019

Typo fix
16de53d1e683
·Anatolii Kmetiuk / GitHub on Nov 21 2019, 15:56.

Nov 13 2019

Merge branch 'master' into anatoliykmetyuk-patch-1
03ffc9686805
·Anatolii Kmetiuk / GitHub on Nov 13 2019, 17:51.
Typo fixes
92c03b07a5a0
·Anatolii Kmetiuk / GitHub on Nov 13 2019, 17:48.
Typo fixes
74d41eb28c44
·Anatolii Kmetiuk / GitHub on Nov 13 2019, 17:46.

Oct 17 2019

Add links to tactics
10f6bb3faed8
·Liu Fengyun on Oct 17 2019, 11:04.

Oct 4 2019

fix sentences
634aeea87bba
·Liu Fengyun on Oct 4 2019, 14:36.

Oct 3 2019

Add go further section
4bc15159d309
·Liu Fengyun on Oct 3 2019, 20:11.
Add proof equivalence of LEM and DNE
daf81fea91b8
·Liu Fengyun on Oct 3 2019, 17:39.
Finish proof by tactics
b579420584f5
·Liu Fengyun on Oct 3 2019, 16:18.
Remove output
c06ef9bb93fe
·Liu Fengyun on Oct 3 2019, 14:59.
WIP - proof by tactics
fe4b5d0f850a
·Liu Fengyun on Oct 3 2019, 14:56.
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.