Commit Graph

Select branches

Hide Pull Requests

amethyst

document-coqproject

main

Mono Color

• 8d480a49c7 🎉 Finish exercises 9 (with IPM cheating) amethyst Shad Amethyst 2024-01-10 15:31:45 +0100
• c4427f5f9c Merge remote-tracking branch 'exercises/main' into amethyst Shad Amethyst 2024-01-10 12:24:17 +0100
• 04f1502ff5 release exercise 9 Benjamin Peters 2024-01-04 17:10:11 +0100
• a565eb10c3 solution for exercise 08 Benjamin Peters 2024-01-04 11:54:14 +0100
• c0a9dcdb1c ✨ Start exercises 8 Shad Amethyst 2024-01-03 15:12:46 +0100
• 010390ce97 Merge remote-tracking branch 'exercises/main' into amethyst Shad Amethyst 2024-01-03 11:51:25 +0100
• 6cc382131f release exercise 8 Benjamin Peters 2023-12-21 11:28:32 +0100
• 03665a3ebe ✨ Exercises 7 Shad Amethyst 2023-12-20 22:06:42 +0100
• 1594ef0bd2
  solution for exercise 07 mueck 2023-12-20 10:58:10 +0100
• 02b9ce9abb 📝 Add a few comments for paper proofs Shad Amethyst 2023-12-11 12:21:15 +0100
• 82042039b9 Merge remote-tracking branch 'exercises/main' into amethyst Shad Amethyst 2023-12-11 11:20:47 +0100
• cd222f11c5 added church encodings fully faithful Benjamin Peters 2023-12-11 10:17:47 +0100
• 4f600972e5 release exercise 07 Benjamin Peters 2023-12-07 14:45:52 +0100
• d9bd2ee560
  solution for exercises 06 mueck 2023-12-06 18:31:50 +0100
• ad5f832f96 Giving up on exercises 6 Shad Amethyst 2023-12-06 15:17:43 +0100
• 28c21e9e93 ✨ Start exercises 6 Shad Amethyst 2023-12-05 15:11:20 +0100
• 3b3c8c67e7 Merge remote-tracking branch 'exercises/main' into amethyst Shad Amethyst 2023-12-04 22:42:50 +0100
• 2eb230286f
  release exercise 06 mueck 2023-11-30 16:58:15 +0100
• 72b1ed7e30 solution for exercises 05 Benjamin Peters 2023-11-29 15:23:19 +0100
• 315dcdefa6 ❇️ Finish exercises 5, with lots of frustration Shad Amethyst 2023-11-29 15:11:57 +0100
• 3b318fe45e Merge remote-tracking branch 'exercises/main' into amethyst Shad Amethyst 2023-11-28 22:27:45 +0100
• 68ccd58330 release exercise 05 Benjamin Peters 2023-11-23 20:11:04 +0100
• 930b4510bd ✨ Ugly but working proof of the third free theorem Shad Amethyst 2023-11-22 21:02:25 +0100
• 79f4799d24
  solution for exercises 04 mueck 2023-11-22 14:56:16 +0100
• a42b8f5c1a ✨ Solve compat lemmas in system f and most free theorems Shad Amethyst 2023-11-22 14:54:46 +0100
• c2ce491075 ✨ De Bruijn substitution of expressions, church encoding of sums and lists Shad Amethyst 2023-11-21 14:53:18 +0100
• 3be5b55cae Start working on exercise sheet 4 Shad Amethyst 2023-11-21 12:03:17 +0100
• 474d19f63c
  Some examples on church encodings mueck 2023-11-17 20:51:07 +0100
• d477a0e565 Merge remote-tracking branch 'origin/main' into amethyst Shad Amethyst 2023-11-17 16:09:04 +0100
• f5bcd6d768 Merge remote-tracking branch 'origin/amethyst' into amethyst Shad Amethyst 2023-11-17 15:50:32 +0100
• ae6e26733c ✨ Finish exercise sheet 3 Shad Amethyst 2023-11-17 15:48:08 +0100
• 70e61abdcb Release exercise 04 Benjamin Peters 2023-11-16 17:07:19 +0100
• f53e90782a Solution for exercises02 Benjamin Peters 2023-11-15 15:21:28 +0100
• b967e73f06 Catch up on stlc_extended Shad Amethyst 2023-11-14 22:30:15 +0100
• ef2a8c2b75 Answer question 3.1 Shad Amethyst 2023-11-14 12:29:56 +0100
• 518b4cb20c Merge remote-tracking branch 'origin/main' into amethyst Shad Amethyst 2023-11-14 11:59:33 +0100
• adaf2a7e81 Work on bigstep and ctxstep in the extension of STLC Shad Amethyst 2023-11-14 11:59:11 +0100
• 89fcd6c249 Release exercise 03 Benjamin Peters 2023-11-09 16:59:14 +0100
• 72267ebe23 Merge remote-tracking branch 'origin/main' into amethyst Shad Amethyst 2023-11-08 16:37:46 +0100
• 7727dec453 Merge from origin/main Shad Amethyst 2023-11-08 16:36:52 +0100
• 0538dc6c8a
  Solution for exercises02 mueck 2023-11-08 15:15:07 +0100
• 9f2a8302e9 ✨ Solve exercises02 :3 Shad Amethyst 2023-11-05 16:15:42 +0100
• 008fc3bfa1 Merge remote-tracking branch 'origin/main' into amethyst Shad Amethyst 2023-11-04 13:17:12 +0100
• d76d81f16c Clean up exercises01 a bit, add them to _CoqProject Shad Amethyst 2023-11-04 13:16:53 +0100
• 9f77d69dcf
  Minor improvement mueck 2023-11-02 20:54:02 +0100
• 1f956e528e
  Release exercise 2.7 mueck 2023-11-02 20:47:06 +0100
• fb0a3219b5
  Release exercises02 -- Coq code for the last exercise will be released soon mueck 2023-11-02 16:03:25 +0100
• f11abd824e Merge remote-tracking branch 'origin/main' into amethyst Shad Amethyst 2023-11-02 15:21:46 +0100
• b0a5c90ebb 🎉 Finish exercise sheet 1 Shad Amethyst 2023-11-01 18:48:52 +0100
• 7fd0a910ae Solve most of exercise sheet 1 Shad Amethyst 2023-11-01 18:39:51 +0100
• 87d5f4b5ef added solution to exercise sheet 1 Benjamin Peters 2023-10-31 15:46:39 +0100
• 4c5d54810b Try (and fail) the first exercise Shad Amethyst 2023-10-30 22:58:59 +0100
• 7f458a66aa Merge remote-tracking branch 'origin/main' into amethyst Shad Amethyst 2023-10-30 14:02:08 +0100
• cdcc6a55fc added lecture2.v Benjamin Peters 2023-10-27 13:33:34 +0200
• 19bb4b8238 🐛 Use constructive logic only for the warmup exercises Shad Amethyst 2023-10-26 16:49:51 +0200
• 972e1a34f7 Update README.md Niklas Mück 2023-10-26 14:25:25 +0000
• 76bf0c5f6d
  Release warmup_sol.v mueck 2023-10-26 16:12:03 +0200
• 175ba9c7f0 Mention how to compile exercises with make document-coqproject Shad Amethyst 2023-10-26 15:22:41 +0200
• 6a3451d399
  Release exercises 01 mueck 2023-10-25 12:13:30 +0200
• f9f3b806a2 Add warmup.v to _CoqProject Shad Amethyst 2023-10-24 17:12:52 +0200
• d19e67658c My solutions to the warmup Shad Amethyst 2023-10-24 16:27:57 +0200
• 072a29c08f
  Release warmup sheet main mueck 2023-10-20 14:34:14 +0200
• 08e64224e9 added makefile Benjamin Peters 2023-10-19 12:45:04 +0200
• 38a2cffd4c
  Add VsCoq instructions mueck 2023-10-16 16:34:13 +0200
• 3989cb7caa added readme Benjamin Peters 2023-10-16 15:15:14 +0200
• 6e075f9afa Benjamin Peters 2023-10-11 10:12:52 +0200