First question done!

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 parts of Question 1 of this sheet. Click around and see if you can make any sense of it!

If you’d rather look at the questions than see the answers, here is a link to a Lean version of Question 1 from this sheet.


About xenaproject

The Xena Project aims to get mathematics undergraduates at Imperial College trained in the art of formalising mathematics on a computer.
This entry was posted in M1F. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s