rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2020-05-07	Reintegrate chalk using chalk-solve	Jack Huey	-0/+8
2020-03-02	Remove chalk integration	CAD97	-8/+0
2018-12-25	Remove licenses	Mark Rousskov	-10/+0
2018-11-13	Pretty print quantified goals and clauses	scalexm	-2/+2
2018-06-07	Add tests for `WellFormed-Type` and `FromEnv-Type` rules	scalexm	-0/+18