https://gitlab.inria.fr/mbaillon/gardening-with-the-pythia
Revision 2a2e1364b0c15be1b4f39199dee179ecf56d0053 authored by Martin Baillon on 08 July 2021, 21:41:35 UTC, committed by Martin Baillon on 08 July 2021, 21:41:35 UTC
1 parent d8ab4c8
Raw File
Tip revision: 2a2e1364b0c15be1b4f39199dee179ecf56d0053 authored by Martin Baillon on 08 July 2021, 21:41:35 UTC
comments
Tip revision: 2a2e136
README.md
# Gardening with the pythia
This is the repository linked to the paper "gardening with the pythia".
In this repository we provide the formalization of the axiom translation, the branching translation and the weaning translation that lead to the fundamental result : all Baclofen Type Theory (BTT) definable functionals are continuous. 
back to top