cur icon indicating copy to clipboard operation
cur copied to clipboard

Published 20 hours ago • verified publisher icon wilbowma

Implement Proof Puzzle Game for Cur

Open wilbowma opened this issue 8 years ago • 0 comments

Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors (CHI 2015) with Stephen R. Foster and William G. Griswold

http://cseweb.ucsd.edu/~lerner/pb.html

Without more research, may only work for first-order theorems.

wilbowma avatar Jun 15 '16 00:06 wilbowma