wauw. heel mooi en goed gedaan. ik ben benieuwd hoe deze tools jonge wiskundigen en wiskunde zullen stimuleren. een deel van de noodzakelijke pijn bij het bestuderen van wiskunde is het pijnlijk reflecteren op een bewijs dat je misschien nooit oplost, maar de oefening is goed voor het ontwikkelen van structuur en intuïtie.