That's a very cool piece of work. I could have done with that a long time ago in lots of different contexts.
Proof editor now shows you the proof tree you're building as you type proof commands https://personal.cis.strath.ac.uk/robert.atkey/cs208/2019/nd/natural-deduction.html …pic.twitter.com/WCwj8ohPSN
-
-
-
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 …
- Još 9 drugih odgovora
Novi razgovor -
-
-
I'm taking a lecture course that involves proof trees on powerpoint slides + chalkboards, wish it used this instead!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Gorgeous!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
i should show this to my project student...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Tweet je nedostupan.
-
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.
- Još 1 odgovor
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.