User contributions
From The Twelf Project
This IP address is currently blocked. The latest block log entry is provided below for reference:
- 16:19, 10 February 2016 Rsimmons (Talk | contribs) blocked 178.73.219.233 (Talk) with an expiry time of indefinite (anonymous users only, account creation disabled)
- 02:54, 10 February 2016 (diff | hist) . . (+92) . . Talk:Proving metatheorems with Twelf (→azqjakl9: new section)