Isabelle_2022

The evaluation list for the cost of a variable

Isabelle_2021_1

Cleaning BDT.thy

Bijection between simplicial complexes and Boolean functions

isaim2022.isabelle2021

Fixed some types in the abstract