Am 24. April steigt die nächste Ausgabe meines Online-Kompaktevents "Die Zukunft der Lean-Transformation": Zwei Stunden mit erstaunlich viel Impuls und reichlich Gelegenheit zum Diskurs zu #Lean und #Veränderungsarbeit mit Sinn! Nur EUR 25,00. Jetzt anmelden - nur über Lean Knowledge Base: https://leanbase.de/events/event/hp8q3-lean-transformation-mit-niels-pflaging
"How do you test?"
.. was an interesting question at last night's #pydata Exeter where 2 of the 3 talks were on proof assistants - mine on Lean, another on Isabelle.
The answer is surprising to newcomers.
The only error you can make is in incorrectly specifying the thing you want to prove. You don't make mistakes in the proof itself.
Pretty cool!