1 Search Results
space-search
SpaceSearch is a library that turns Coq into a solver-aided host language. Many