Graphmaster
Graph
master
History Graph
History Graph
Commit | Author | Details | Committed | ||||
---|---|---|---|---|---|---|---|
e6b313e1483f | Liu Fengyun | Fix ordering of cells | Nov 4 2020 | ||||
9f9a0c19f973 | Liu Fengyun | Fix box type | Nov 4 2020 | ||||
f65134aee3cb | Liu Fengyun | Improve text and proof for even_double | Nov 4 2020 | ||||
b9bc924cb89b | Liu Fengyun | Fix typo | Dec 12 2019 | ||||
3ed179d31ada | liuf/GitHub | Merge pull request #2 from lampepfl/anatoliykmetyuk-patch-1 | Nov 21 2019 | ||||
16de53d1e683 | Anatolii Kmetiuk/GitHub | Typo fix | Nov 21 2019 | ||||
d3af2d8b0460 | liuf/GitHub | Merge pull request #1 from lampepfl/anatoliykmetyuk-patch-1 | Nov 13 2019 | ||||
03ffc9686805 | Anatolii Kmetiuk/GitHub | Merge branch 'master' into anatoliykmetyuk-patch-1 | Nov 13 2019 | ||||
92c03b07a5a0 | Anatolii Kmetiuk/GitHub | Typo fixes | Nov 13 2019 | ||||
74d41eb28c44 | Anatolii Kmetiuk/GitHub | Typo fixes | Nov 13 2019 | ||||
10f6bb3faed8 | Liu Fengyun | Add links to tactics | Oct 17 2019 | ||||
56d1219b81b8 | Liu Fengyun | Add binder links | Oct 4 2019 | ||||
2f741eea23bd | Liu Fengyun | Fix code style | Oct 4 2019 | ||||
85c8ac4aa635 | Liu Fengyun | add README | Oct 4 2019 | ||||
634aeea87bba | Liu Fengyun | fix sentences | Oct 4 2019 | ||||
4bc15159d309 | Liu Fengyun | Add go further section | Oct 3 2019 | ||||
daf81fea91b8 | Liu Fengyun | Add proof equivalence of LEM and DNE | Oct 3 2019 | ||||
b579420584f5 | Liu Fengyun | Finish proof by tactics | Oct 3 2019 | ||||
c06ef9bb93fe | Liu Fengyun | Remove output | Oct 3 2019 | ||||
fe4b5d0f850a | Liu Fengyun | WIP - proof by tactics | Oct 3 2019 | ||||
d0de388131d6 | Liu Fengyun | clean outputs | Oct 3 2019 | ||||
bbbc47e0cd07 | Liu Fengyun | Add first-order logic example | Oct 3 2019 | ||||
d50e27d6339d | Liu Fengyun | WIP - add content about Curry-Howard correspondence | Oct 3 2019 | ||||
46137b8e20f1 | Liu Fengyun | WIP - functional programming in Coq | Oct 2 2019 | ||||
4d96f88bb6da | Liu Fengyun | Initial commit | Oct 1 2019 |
c4science · Help