Acknowledge all students and TAB members for input on the process.
Sent from my iPad


Thanks to Laura, Katherine, Yi for input on the possibility of formalizing aspects of MoXI using an automated theorem prover. /thanks to the members of the TAB: …