Ir para o conteúdo
VuFind
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Avançada
  • Citar
  • Enviar por SMS
  • Enviar por email
  • Imprimir
  • Exportar registo
    • Exportar para RefWorks
    • Exportar para EndNoteWeb
    • Exportar para EndNote
  • Adic. favoritos
  • Permanent link
Imagem da capa

Na minha lista:
Detalhes bibliográficos
Autor principal: Spivack, Nova
Formato: Recurso digital
Idioma:inglês
Publicado em: Zenodo 2026
Assuntos:
Lean 4
formal verification
infinity compression
reflexive systems
machine-checked proof
NEMS
preprint
Acesso em linha:https://doi.org/10.5281/zenodo.19430489
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
  • Exemplares
  • Descrição
  • Sumário
  • Comentários
  • Registos relacionados
  • Registo fonte

Internet

https://doi.org/10.5281/zenodo.19430489

Registos relacionados

  • Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
    Por: Spivack, Nova
    Publicado em: (2026)
  • Lean Nems (Lean formalization)
    Por: Spivack, Nova
    Publicado em: (2026)
  • Reflection as a Resource: Stratified Representability, Fixed Points Under Restricted Internalization, and a Selector-Strength Hierarchy Paper 28 of the NEMS Suite
    Por: Spivack, Nova
    Publicado em: (2026)
  • No Spooky-to-Signal Compiler: Why EPR Correlations Cannot be Total-Effectively Upgraded to FTL Paper 47 of the NEMS Suite
    Por: Spivack, Nova
    Publicado em: (2026)
  • The Arrow of Time from Closure: Stable Records, No-Overwrite, and the Necessity of Irreversibility in PSC Universes Paper 36 of the NEMS Suite
    Por: Spivack, Nova
    Publicado em: (2026)

Opções de Pesquisa

  • Histórico de Pesquisas
  • Pesquisa Avançada

Encontrar Mais

  • Percorrer o Catálogo
  • Percorrer por ordem alfabética
  • Explore Channels
  • Bibliografia Recomendada
  • Novos exemplares

Precisa de ajuda?

  • Dicas de Pesquisa
  • Serviço de Referência
  • FAQs