eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch
eukhe proof stop
27 files
base.bend
stop_asked_stands.bend
stop_cut_continues.bend
stop_empty_continues.bend
stop_empty_gives_up.bend
stop_empty_redoes.bend
stop_entry_decides.bend
stop_entry_example.bend
stop_entry_left_over.bend
stop_entry_premises_witness.bend
stop_entry_unknown.bend
stop_markup_continues.bend
stop_note_exact.bend
stop_note_example.bend
stop_pending_never_continues.bend
stop_pending_pauses.bend
stop_plain_stands.bend
stop_promise_continues.bend
stop_promise_reminds.bend
stop_promise_stands.bend
stop_remind_spends_a_note.bend
stop_rounds_exact.bend
stop_rounds_example.bend
stop_text_example.bend
stop_verdict_exact.bend
stop_walk_example.bend
stop_walk_refines.bend