Tshepang Mbambo 6da83f69ce make link not inline		2025-05-27 21:21:18 +02: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	Make links in coinduction.md clickable	2025-05-27 18:53:30 +03:00
invariants.md	remove outdated text about wfx implies	2025-01-17 12:04:42 -03:00
opaque-types.md	make link not inline	2025-05-27 21:21:18 +02: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