Prove-It icon indicating copy to clipboard operation
Prove-It copied to clipboard

Published 20 hours ago • verified publisher icon sandialabs

Finish "socks" demo in the tutorial.

Open wwitzel opened this issue 6 years ago • 0 comments
trafficstars

Or something to explain how to generate a context, populate it with common expressions, axioms and theorems, prove the theorems, and populate the demonstrations page.

wwitzel avatar Jun 05 '19 03:06 wwitzel