Stream: New Members & Projects

Topic: online Isabelle Tutorial

view this post on Zulip maximilian p.l. haslbeck (Jul 31 2019 at 13:31):

On the "proving for fun" platform we have a short Tutorial for using Isabelle. An idea for a collaborative project would be to extend it and turn prog-prove into a set of such problems.
Beginners can then work on those problems one by one and get motivated by seeing their progress in the system. After submitting a correct solution, users could be allowed to see (and up-vote) solutions of others in order to learn good proving style and discover different approaches.

Last updated: Dec 07 2023 at 12:30 UTC