search

sneeuwballen / benchpress

Testing and benchmarking tool for logic-related programs.
BSD 2-Clause "Simplified" License
26 stars 8 forks source link

ui: auto completion in filtering of individual results #38

Open c-cube opened 4 years ago

c-cube commented 4 years ago

https://component.kitchen/elix/AutoCompleteComboBox could be nice. Completion should be doable for provers and results (but not problem, too many of them).