Evan and Yutaka work as researchers on the project Strong Modular Proof Assistance: Reasoning Across Theories and Prathamesh on the project FORTissimo: Automating the First-Order Theory of Rewriting.
- Details
- Category: News Archive
In a three day mini seminar from September 11 to September 13, Makarius Wenzel – the originator of the Isabelle proof language Isar and of Isabelle/jEdit – will tell us about Isabelle tool development with Isabelle’s derivatives of Standard ML and Scala.
- Details
- Category: News Archive