%FILENAME%
isabelle-2025_2-1-x86_64.pkg.tar.zst

%NAME%
isabelle

%BASE%
isabelle

%VERSION%
2025_2-1

%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%
1035534107

%ISIZE%
2265240439

%SHA256SUM%
26db40a49063aa65fd15ef8f795b1d3f2a5bcc6638c6e5f7507baf484868f276

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

%LICENSE%
custom:BSD

%ARCH%
x86_64

%BUILDDATE%
1769603711

%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

