IsaPlanner

#	Item
21	A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Mathematical proof Formal methods Theorem Logic Automated theorem proving Mathematics
22	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:40 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics