GitHub repository: ulrikrasmussen/BoxProver
Primary language: HTML
Created: 2015-09-03T15:10:26Z
Description: Simple web interface for writing box proofs in Twelf