Szymon Antoniak's repositories
MagnusData
Premise Selection Data in Isabelle
Language:Jupyter Notebook000
eXplainableMachineLearning-2023
https://usosweb.uw.edu.pl/kontroler.php?_action=katalog2/przedmioty/pokazPrzedmiot&kod=1000-319bEML
Language:HTML000
Language:Python000
interactive_isabelle
The Portal to Isabelle (PISA) project with additional premise selection functionality
Language:Scala000
Language:Python000
MachineLearningSeminar
Seminarium Magisterskie Machine Learning
000
objective-CPP-star-wars-like-
A final project for an objective cpp course at uni
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
Language:ScalaBSD-3-Clause000