2 Repositories
Python isabelle-hol Libraries
Learn machine learning the fun way, with Oracle and RedBull Racing
Red Bull Racing Analytics Hands-On Labs Introduction Are you interested in learning machine learning (ML)? How about doing this in the context of the
55 Oct 24, 2022
This repository collects project-relevant Isabelle/HOL formalizations.
Isabelle/HOL formalizations related to the AuReLeE project Formalization of Abstract Argumentation Frameworks See AbstractArgumentation folder for the
1 Sep 10, 2022