📄️Обзор извлеченийСтатус📄️ZFC как извлечениеСтатус📄️HoTT как извлечениеСтатус📄️NCG как извлечениеСтатус📄️∞-Topos ЛюриСтатус📄️CIC как извлечениеСтатус📄️Каталог логикСтатус