Category Archives: M1F

I’ve solved Q2 and Q3 of M1F Sheet 1 and pushed the solutions to github. Q4 I somehow want to persuade Xena to do herself, but I don’t quite know the best way to do this. These questions were much … Continue reading →

I have finally typed up full proofs for Xena, for the first question of M1F sheet 1. Here are the questions in traditional PDF format: Example Sheet 1. Here’s a link to a live Lean session containing the Solutions to all … Continue reading →