Boxy 38a5e54ccd Introduce a normalization chapter		2025-04-29 19:08:55 +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
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	Introduce a normalization chapter	2025-04-29 19:08:55 +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