Я зробив новий блог, і вже маю кілька постів. Ось одна з них про те, як впасти в кролячу нору, заглядаючи в LatticeFold, в пошуках системи доказу з ефективною рекурсією і зручними для апаратного забезпечення полями.
4,63K