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: Nov 11 2024 at 01:24 UTC