User contributions
From LLWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 16:43, 25 June 2013 (diff | hist) . . (0) . . A formal account of nets (→The short story) (current)
- 16:41, 25 June 2013 (diff | hist) . . (-11) . . m Proof-nets (fix wording) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)