/BoxProver

Simple web interface for writing box proofs in Twelf

Primary LanguageHTMLMIT LicenseMIT

Watchers