Solver for higher-order functional programs, used by Stainless - View it on GitHub
Star
94
Rank
318350