Dec 6: Hackathon and Unconference

The unconference schedule will be on a whiteboard in the venue, which begins blank. You can begin populating it with sessions during day one.

Venue opens whenever, lunch served at noon, dinner served at 6p, venue closes whenever.

Hackathon Project Ideas

To add a project idea, send a PR to this markdown file

Solve fvapps

https://huggingface.co/datasets/quinn-dougherty/fvapps

Transpile Flocq to Lean

We'd like to do numerical analysis in lean4. Use victor taelin-style loops to convert flocq to lean4

Synthetic Proof Repair Data Generation with Denoising

https://docs.google.com/document/d/1R4HkreEUVLn1_LavdkigXIthwZbs4unNEWCTibWuhOk/edit?usp=sharing