Skip to main content
5 events
when toggle format what by license comment
Nov 21, 2023 at 3:06 history edited LSpice CC BY-SA 4.0
$Theorem\ A$ -> *Theorem A*
Nov 21, 2023 at 2:18 answer added Arshak Aivazian timeline score: 2
Nov 19, 2023 at 15:57 comment added Johnny @AlecRhea I really meant unreasonable.
Nov 19, 2023 at 1:42 comment added Alec Rhea In what sense would it be impossible to check all steps? Unreasonable/tedious make sense/are familiar to me, but impossible is a much stronger (and more interesting) claim.
Nov 18, 2023 at 20:58 history asked Johnny CC BY-SA 4.0