Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Recurso digital |
| Idioma: | |
| Publicado em: |
Zenodo
2026
|
| Acesso em linha: | https://doi.org/10.5281/zenodo.19656002 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Sumário:
- Yanasse Part 2: Cross-area tactic transfer from Probability to Set Theory — 6 new Lean-verified proofs discovered by relational analogy