Leni Aniva 8c22ce09e7 feat: Plot generation for DSP		2024-10-08 19:20:57 -07:00
..
data.py	feat: Plot generation for DSP	2024-10-08 19:20:57 -07:00
dsp_prompt_draft_4_isabelle.py	refactor: Experiments into their own folders	2024-10-01 11:06:01 -07:00
prompts.py	fix: Prompt Lean code extraction	2024-10-07 18:58:35 -07:00
prove.py	fix: Prompt Lean code extraction	2024-10-07 18:58:35 -07:00