| Machine Problems for Spring 2026 |
| MP |
Date Available |
Date Assigned |
Due Date |
Solution |
| MP 0 (mp0.thy) |
Friday, 30 January 2026 |
Friday, 30 January 2026 |
Thursday, 12 February 2026, 11:59pm |
MP 0 Solutions given (mp0_sol.thy)
|
| MP 1 (mp1.thy) |
Friday, 30 January 2026 |
Thursday, 5 February 2026 |
Thursday, 19 February 2026, 11:59pm |
MP 1 Solution(mp1_sol.thy)
|
| MP 2 (mp2.thy) |
Friday, 13 February 2026 |
Friday, 13 February 2026 |
Monday, 2 March 2026, 11:59pm |
MP 2 Solution(mp2-sol.thy)
|
| MP 3 (mp3.thy) |
Friday, 20 February 2026 |
Friday, 20 February 2026 |
Thursday, 5 March 2026, 11:59pm |
|
| MP 4 (mp4.thy) |
Tuesday, 3 March 2026 |
Tuesday, 3 March 2026 |
Tuesday, 24 March 2026, 11:59pm |
|
| MP 5 (mp5.thy) |
Monday, 23 March 2026 |
Tuesday, 24 March 2026 |
Thursday, 2 April 2026, 11:59pm |
|
|
| Project Proposal |
Thursday, 12 March 2026 |
Thursday, 19 March 2026 |
Thursday, 2 April 2026, 11:59pm |
|
|
|
