Formalization of the Kleene tree in Lean
-
Updated
Jan 19, 2026 - Lean
#
reverse-mathematics
Here are 2 public repositories matching this topic...
Aplicação desenvolvida como resultado do Trabalho de Conclusão do Curso em Ciências Atuariais pela Universidade Federal de Pernambuco. Seu objetivo consiste no cálculo de Provisões Matemáticas em planos de Benefício Definido para Entidades Fechadas de Previdência Complementar.
-
Updated
Apr 15, 2023 - Python
Improve this page
Add a description, image, and links to the reverse-mathematics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the reverse-mathematics topic, visit your repo's landing page and select "manage topics."