search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

Implement Proof Puzzle Game for Cur #43

Open wilbowma opened 8 years ago

wilbowma commented 8 years ago

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.