search

qsctr / coq-synth

Coq synthesizer
MIT License
2 stars 0 forks source link

Integrate Examples to filter terms #1

Closed AishwaryaSivaraman closed 1 year ago

AishwaryaSivaraman commented 2 years ago

Implement term filtering based on input/output examples.