https://gitlab.inria.fr/mbaillon/gardening-with-the-pythia
Revision d44d60338f9a78699a4ca62dcce992187a33e6ef authored by BAILLON Martin on 05 July 2021, 20:53:14 UTC, committed by BAILLON Martin on 05 July 2021, 20:53:14 UTC
1 parent 1210466
Raw File
Tip revision: d44d60338f9a78699a4ca62dcce992187a33e6ef authored by BAILLON Martin on 05 July 2021, 20:53:14 UTC
Update README.md
Tip revision: d44d603
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