Автор напрямую противопоставляет свою концепцию Лину. Сообщает, что его QRM - это следующий шаг в эволюции Lean

https://denis-demakhin.livejournal.com/97362.html