timesince f34fa18b01 Remove redundant words		2025-04-09 18:46:50 +08:00
..
caching.md	fix some more typos	2025-01-14 23:01:42 -08:00
canonicalization.md	canonicalization is out of date	2024-03-22 11:11:41 +00:00
coinduction.md	review	2023-01-27 15:03:01 -08:00
invariants.md	remove outdated text about wfx implies	2025-01-17 12:04:42 -03:00
normalization.md	fix comment	2025-01-05 17:51:45 +01:00
opaque-types.md	Remove redundant words	2025-04-09 18:46:50 +08:00
proof-trees.md	update proof tree chapter (#2054)	2024-09-17 06:45:13 +02:00
significant-changes.md	fix(solve/significant-changes): typo	2025-01-24 14:12:17 +01:00
the-solver.md	fix some more typos	2025-01-14 23:01:42 -08:00
trait-solving.md	Fix grammar and remove redundant info	2025-03-13 23:56:04 +01:00