A two-day hackathon bringing together students, faculty, and industry partners to work on challenge problems showcasing the power of the Lean Proof Assistant. Each team will include at least one Lean-proficient researcher and one domain expert.
Friday, May 8: Colloquium and Reception
Saturday, May 9 – Sunday, May 10: Hackathon
Amazon Automated Reasoning Group