Ada Alakbarova 168456e7a3 fix(solve/significant-changes): typo		2025-01-24 14:12:17 +01: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	comment out FIXMEs to not display them on UI (#2186)	2025-01-05 17:51:45 +01: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	linkcheck: fix reported broken links (part 2) (#2024)	2024-07-27 14:45:57 +02:00