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

Age	Commit message (Expand)	Author	Lines
2023-08-03	Rework upcasting	Michael Goulet	-5/+8
2023-07-25	Normalize the RHS of an unsize goal	Michael Goulet	-1/+5
2023-07-13	refactor proof tree formatting	lcnr	-4/+4
2023-06-20	cleanup imports	lcnr	-2/+6
2023-06-19	move to nested module	Boxy	-130/+3
2023-06-19	show normalizes-to hack and response instantiation goals	Boxy	-2/+22
2023-06-19	introduce a separate set of types for finalized proof trees	Boxy	-28/+39
2023-06-19	say what kind of cache hit	Boxy	-3/+10
2023-06-19	initial info dump	Boxy	-0/+168