leastfixedpoint

Archived tweet #4815 from the @leastfixedpoint Twitter Archive
Imagining an Android Coq IDE. Touch-based application of tactics to hypotheses, goals etc. in the proof process.