vlopezj / coq-course Goto Github PK

Let's set a date for the first meeting of the course! It will take place some day between Jan 30th and Feb 3rd, and last for about 2 hours.

If you are in the list of participants, you should have received a link to the poll by e-mail. Otherwise, do complain.

Please make your selection before Tuesday 24th.

I have added a tentative syllabus following pretty much Software Foundations.

Remember that everyone has to present a topic (an interactive COQ session with the highlights of the chapter will probably do), so I invite you to pick-up yours (first-come first-served).

I have included a first session on the basics, since it turns out that not everyone in the group has prior experience with proof assistants.
I encourage those who are less familiar with proofs assistants to present it, so that then we can progress uniformly.

Feel free to edit and adjust the syllabus.

@AndreasLoow mentioned in the chat that the authors of the Software Foundations do not wish solutions to the exercises in the book to be published.

So we need a private repo to upload the exercise solutions.

We should migrate the repo to an organization, so that it does not depend on my Github account.