Raw File
Tip revision: 7af05d72f4e9da43b1e42c6ebdcdd079e078bff8 authored by Martin Baillon on 07 February 2022, 17:59:36 UTC
Comments and examples
Tip revision: 7af05d7
# 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