Binary Decision Trees
The skeleton was provided by Burkhart Wolff as it was in the first commit. Further additions are our own code.
Binary Decision Trees - Isabelle project from Burkhart Wolff's course
The skeleton was provided by Burkhart Wolff as it was in the first commit. Further additions are our own code.
Binary Decision Trees - Isabelle project from Burkhart Wolff's course