maximilian p.l. haslbeck (Jul 31 2019 at 13:31): 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 21 2024 at 20:18 UTC