Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Fleuriot, Jacques

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 2 to 4 of 4

Issue Date	Title	Author(s)	Supervisor(s)
Jun-2006	A Proof Planning Framework For Isabelle	Dixon, Lucas	Fleuriot, Jacques
30-Jun-2011	Supporting dependently typed functional programming with proof automation and testing	Wilson, Sean	Fleuriot, Jacques; Smaill, Alan
2004	Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis	Maclean, Ewen	Fleuriot, Jacques; Smaill, Alan

Showing results 2 to 4 of 4