gentoo.mahdi.cz
sci-mathematics
:isabelle-bin
Generic proof assistant with higher-order logic
https://isabelle.in.tum.de/overview.html
isabelle-bin-2023
BSD
download
-* ~amd64
src_prepare-overlay