Add entry on Sketch_and_Explore to CONTRIBUTORS
Description
Description
Details
Details
- Provenance
Simon Wimmer <wimmers@in.tum.de> Authored on - Parents
- rISABELLE173548e4d5d0: moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL…
- Branches
- Unknown
- Tags