xqyww123 / Isa-MiniLinks

A minimal language for Isabelle/HOL, designed for easing machine learning.
18Updated last week

Alternatives and similar repositories for Isa-Mini

Users that are interested in Isa-Mini are comparing it to the libraries listed below

Sorting: