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
-
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.
-
Tweet je nedostupan.
Č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.