Loading
Commits on Source 1
-
Björn Brandenburg authoredRationale: poor user experience when trying to discuss a proof at RTAS'26. The animation is pretty, but disruptive when actually trying to read and explain the proof script.
Rationale: poor user experience when trying to discuss a proof at RTAS'26. The animation is pretty, but disruptive when actually trying to read and explain the proof script.