 Shad Amethyst
|
9f2a8302e9
|
✨ Solve exercises02 :3
|
8 months ago |
|
Shad Amethyst
|
008fc3bfa1
|
Merge remote-tracking branch 'origin/main' into amethyst
|
8 months ago |
|
Shad Amethyst
|
d76d81f16c
|
Clean up exercises01 a bit, add them to _CoqProject
|
8 months ago |
mueck
|
9f77d69dcf
|
Minor improvement
|
8 months ago |
|
mueck
|
1f956e528e
|
Release exercise 2.7
|
8 months ago |
|
mueck
|
fb0a3219b5
|
Release exercises02 -- Coq code for the last exercise will be released soon
|
8 months ago |
|
Shad Amethyst
|
f11abd824e
|
Merge remote-tracking branch 'origin/main' into amethyst
|
8 months ago |
|
Shad Amethyst
|
b0a5c90ebb
|
🎉 Finish exercise sheet 1
|
8 months ago |
|
Shad Amethyst
|
7fd0a910ae
|
Solve most of exercise sheet 1
|
8 months ago |
Benjamin Peters
|
87d5f4b5ef
|
added solution to exercise sheet 1
|
8 months ago |
|
Shad Amethyst
|
4c5d54810b
|
Try (and fail) the first exercise
|
8 months ago |
|
Shad Amethyst
|
7f458a66aa
|
Merge remote-tracking branch 'origin/main' into amethyst
|
8 months ago |
|
Benjamin Peters
|
cdcc6a55fc
|
added lecture2.v
|
8 months ago |
|
Shad Amethyst
|
19bb4b8238
|
🐛 Use constructive logic only for the warmup exercises
Turns out that decidability in coq is abbreviated as "dec" (which I initially understood as "decrement")
|
9 months ago |
|
Niklas Mück
|
972e1a34f7
|
Update README.md
closes #1
|
9 months ago |
|
mueck
|
76bf0c5f6d
|
Release warmup_sol.v
|
9 months ago |
|
mueck
|
6a3451d399
|
Release exercises 01
|
9 months ago |
|
Shad Amethyst
|
f9f3b806a2
|
Add warmup.v to _CoqProject
|
9 months ago |
|
Shad Amethyst
|
d19e67658c
|
My solutions to the warmup
|
9 months ago |
|
mueck
|
072a29c08f
|
Release warmup sheet
|
9 months ago |
|
Benjamin Peters
|
08e64224e9
|
added makefile
|
9 months ago |
|
mueck
|
38a2cffd4c
|
Add VsCoq instructions
|
9 months ago |
|
Benjamin Peters
|
3989cb7caa
|
added readme
|
9 months ago |
|
Benjamin Peters
|
6e075f9afa
|
|
9 months ago |