grianneau (Aug 09 2023 at 10:32): grianneau (Aug 09 2023 at 10:32):A modified version of Software Foundations to work with SSReflect:
https://grianneau.github.io/software_foundations/index.html
It is just a draft of modified chapters up to the chapter Tactics in volume 1. So the rest of the content is left unchanged at the moment. I'm planning to add a modified version of the chapter Logic as well.
Karl Palmskog (Aug 09 2023 at 10:48):I think many people prefer to work through Coq source files in their editor of choice, so probably a good idea to add .v sources if you'd like more users
grianneau (Aug 09 2023 at 11:23):Thank you for your feedback. I added the .v source files to the repository, which is public.
(These .v files should not contain solutions to the exercices.)
Last updated: Oct 13 2024 at 01:02 UTC