gentoo.mahdi.cz

  

sci-mathematics:isabelle-bin


Generic proof assistant with higher-order logic
https://isabelle.in.tum.de/overview.html

isabelle-bin-2023BSD
download-* ~amd64src_prepare-overlay