Interactive Theorem Proving CS

CS-628

Team and project abstract

This page is part of the content downloaded from Team and project abstract on Wednesday, 25 December 2024, 15:53. Note that some content and any files larger than 50 MB are not downloaded.

Description

Only one member from each team needs to submit this information.

By this point, you should have teams and abstracts for your CS628 projects!

Please use the form to let us know about your team and your abstract before the end of the week (April 21, Sunday, 23:59). If you must, you can submit a file in markdown, html or pdf instead.