%FILENAME%
isabelle-2025-2-x86_64.pkg.tar.zst

%NAME%
isabelle

%BASE%
isabelle

%VERSION%
2025-2

%DESC%
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.

%GROUPS%
science

%CSIZE%
911615431

%ISIZE%
1957286797

%SHA256SUM%
531ca1ed882e91a47f4e00a1825d3829f854553de030fde433415da7cb5a95fd

%URL%
https://www.cl.cam.ac.uk/research/hvg/Isabelle/

%LICENSE%
custom:BSD

%ARCH%
x86_64

%BUILDDATE%
1758175277

%PACKAGER%
lilac (on behalf of poscat) <poscat0x04@outlook.com>

%DEPENDS%
perl
perl-libwww

%OPTDEPENDS%
texlive-core: document preparation
lib32-glibc: for improved performance of Poly/ML on x86_64 machines
lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines

