Lucas Dixon
Original record- Institution
- The University of Edinburgh
- Year
- 2005
- Country
- United Kingdom
- MGP identifier
- 290973
Dissertation: A Proof Planning Framework For Isabelle
Advisor 1
- Jacques FleuriotUniversity of Cambridge · 1999
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Leo Laugier | Institut Polytechnique de Paris | 2022 | 0 |