https://gitlab.inria.fr/mbaillon/gardening-with-the-pythia
Revision d8ab4c83be2f91c952900ce6c26cce362a2360a1 authored by Martin Baillon on 05 July 2021, 21:13:35 UTC, committed by Martin Baillon on 05 July 2021, 21:13:35 UTC
1 parent d44d603
Raw File
Tip revision: d8ab4c83be2f91c952900ce6c26cce362a2360a1 authored by Martin Baillon on 05 July 2021, 21:13:35 UTC
Three main files
Tip revision: d8ab4c8
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