That's a very cool piece of work. I could have done with that a long time ago in lots of different contexts.
-
-
-
Thanks! You might enjoy the coursework I'm getting the students to do with it: https://personal.cis.strath.ac.uk/robert.atkey/cs208/2019/cw2/assessment.html …
- 9 more replies
New conversation -
-
-
I'm taking a lecture course that involves proof trees on powerpoint slides + chalkboards, wish it used this instead!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Gorgeous!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
i should show this to my project student...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
The proof language is a disguised version of the simply-typed lambda calculus, in beta-normal form. The editor itself is written in OCaml and compiled to JS using js_of_ocaml.
- 1 more reply
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.