13 Commits (7f458a66aa9866ec706c85312ed8842975c196c4)

 

All Branches   

Search

Author	SHA1	Message	Date
Shad Amethyst	7f458a66aa	Merge remote-tracking branch 'origin/main' into amethyst	11 months ago
Benjamin Peters	cdcc6a55fc	added lecture2.v	11 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")	11 months ago
Niklas Mück	972e1a34f7	Update README.md ... closes #1	11 months ago
mueck	76bf0c5f6d	Release warmup_sol.v	11 months ago
mueck	6a3451d399	Release exercises 01	11 months ago
Shad Amethyst	f9f3b806a2	Add warmup.v to _CoqProject	11 months ago
Shad Amethyst	d19e67658c	My solutions to the warmup	11 months ago
mueck	072a29c08f	Release warmup sheet	11 months ago
Benjamin Peters	08e64224e9	added makefile	11 months ago
mueck	38a2cffd4c	Add VsCoq instructions	11 months ago
Benjamin Peters	3989cb7caa	added readme	11 months ago
Benjamin Peters	6e075f9afa		12 months ago