The skeleton was provided by Burkhart Wolff as it was in the first commit. Further additions are our own code.
jpenuchot / bdt-project Goto Github PK
View Code? Open in Web Editor NEWBinary Decision Trees - Isabelle project from Burkhart Wolff's course