Generate json eq progress

mit-plv / bedrock2

A work-in-progress language and compiler for verified low-level programming

MIT License

297 stars 45 forks source link

Closed leognon closed 1 year ago

leognon commented 1 year ago

The current state of the proof for generate_json_eq.

DIJamner commented 1 year ago

Superseded by #363.