Homec4science
Diffusion coq-project (master) Graph

R9452/demo.ipynb
master

History Graph

CommitAuthorDetailsCommitted
e6b313e1483fLiu Fengyun
Fix ordering of cells 
Nov 4 2020
9f9a0c19f973Liu Fengyun
Fix box type 
Nov 4 2020
f65134aee3cbLiu Fengyun
Improve text and proof for even_double 
Nov 4 2020
b9bc924cb89bLiu Fengyun
Fix typo 
Dec 12 2019
16de53d1e683Anatolii Kmetiuk/GitHub
Typo fix 
Nov 21 2019
03ffc9686805Anatolii Kmetiuk/GitHub
Merge branch 'master' into anatoliykmetyuk-patch-1 
Nov 13 2019
92c03b07a5a0Anatolii Kmetiuk/GitHub
Typo fixes 
Nov 13 2019
74d41eb28c44Anatolii Kmetiuk/GitHub
Typo fixes 
Nov 13 2019
10f6bb3faed8Liu Fengyun
Add links to tactics 
Oct 17 2019
634aeea87bbaLiu Fengyun
fix sentences 
Oct 4 2019
4bc15159d309Liu Fengyun
Add go further section 
Oct 3 2019
daf81fea91b8Liu Fengyun
Add proof equivalence of LEM and DNE 
Oct 3 2019
b579420584f5Liu Fengyun
Finish proof by tactics 
Oct 3 2019
c06ef9bb93feLiu Fengyun
Remove output 
Oct 3 2019
fe4b5d0f850aLiu Fengyun
WIP - proof by tactics 
Oct 3 2019
d0de388131d6Liu Fengyun
clean outputs 
Oct 3 2019
bbbc47e0cd07Liu Fengyun
Add first-order logic example 
Oct 3 2019
d50e27d6339dLiu Fengyun
WIP - add content about Curry-Howard correspondence 
Oct 3 2019
46137b8e20f1Liu Fengyun
WIP - functional programming in Coq 
Oct 2 2019
4d96f88bb6daLiu Fengyun
Initial commit 
Oct 1 2019
c4science · Help