Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/isabelle.git (read-only, click to copy)
Package Base:	isabelle
Description:	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.
Upstream URL:	https://www.cl.cam.ac.uk/research/hvg/Isabelle/
Licenses:	custom:BSD
Groups:	science
Submitter:	bitwave
Maintainer:	gilcu3
Last Packager:	gilcu3
Votes:	26
Popularity:	0.52
First Submitted:	2014-06-07 09:32 (UTC)
Last Updated:	2026-01-28 07:53 (UTC)

perl (perl-git^AUR)
perl-libwww
lib32-gcc-libs (lib32-gcc-libs-git^AUR, lib32-gccrs-libs-git^AUR, lib32-gcc-libs-snapshot^AUR) (optional) – for improved performance of Poly/ML on x86_64 machines
lib32-glibc (lib32-glibc-git^AUR, lib32-glibc-eac^AUR, lib32-glibc-git-native-pgo^AUR) (optional) – for improved performance of Poly/ML on x86_64 machines
texlive-core (texlive-installer^AUR, texlive-full^AUR, texlive-basic) (optional) – document preparation

updated to version 2014