Skip to content

feat: case and if for branching in rule synthesis.#6

Merged
winston-h-zhang merged 2 commits intomainfrom lurk-evalOct 29, 2024

Commits

Commits on Oct 29, 2024