User contributions for 75.94.102.93
Jump to navigation
Jump to search
5 July 2012
- 09:1309:13, 5 July 2012 diff hist +34,209 N Sequent calculus Changed WR in the LK calculus which previously had A at the top instead of the bottom