Skip to main content

Timeline for Proof theoretic ordinal

Current License: CC BY-SA 4.0

3 events
when toggle format what by license comment
Oct 26, 2022 at 9:19 history edited Martin Sleziak CC BY-SA 4.0
http -> https (the question was bumped anyway)
Jan 28, 2011 at 23:40 history edited Andrés E. Caicedo CC BY-SA 2.5
The code misteriously stopped displaying correctly and needed a tweak.
Jan 23, 2011 at 7:41 history answered Andrés E. Caicedo CC BY-SA 2.5