Mirror of http://chriswarbo.net/git/theory-exploration-benchmarks
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to theory-exploration-benchmarks
Mirror of http://chriswarbo.net/git/theory-exploration-benchmarks
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to theory-exploration-benchmarks