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
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 …
- Još 9 drugih odgovora
Novi razgovor -
Č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.