HumanEval160#167

Draft

marcusrossel wants to merge 12 commits intoleanprover:masterfrom

marcusrossel:160

Commits on May 3, 2025

Add (partial )solution to HumanEval160
marcusrossel
committed

Commits on May 10, 2025

Redefine parsing to use optionals for failure
marcusrossel
committed

Commits on May 14, 2025

Prove that successful parsing produces exactly one output element
marcusrossel
committed

Commits on May 15, 2025

Commits on May 18, 2025

Commits on May 19, 2025

Complete proof of `parse?_lits_eq_args`
marcusrossel
committed

Commits on Aug 17, 2025

Define parser correctness
marcusrossel
committed

Commits on Aug 22, 2025

Progress on proving lawfulness
marcusrossel
committed