Package Details: isabelle-tum 2021_1-1

Git Clone URL: https://aur.archlinux.org/isabelle-tum.git (read-only, click to copy)
Package Base: isabelle-tum
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. Release mirror: TUM.
Upstream URL: https://isabelle.in.tum.de/
Licenses: custom:BSD
Groups: science
Conflicts: isabelle
Submitter: MW360
Maintainer: MW360
Last Packager: MW360
Votes: 1
Popularity: 0.000757
First Submitted: 2020-04-23 11:27 (UTC)
Last Updated: 2021-12-13 23:15 (UTC)

Dependencies (3)

Required by (0)

Sources (2)

Latest Comments

MW360 commented on 2022-07-02 22:25 (UTC)

@carlosal1015 Yes, the only difference is that it uses the TUM release mirror instead of the Cambridge one. Since I also do not see a major benefit from this additional package anymore, feel free to create a request for deletion.

carlosal1015 commented on 2022-06-10 20:58 (UTC)

Duplicate of https://aur.archlinux.org/packages/isabelle ?

MW360 commented on 2021-02-21 22:24 (UTC) (edited on 2021-02-21 22:25 (UTC) by MW360)

Unfortunately, I get a warning
strip: ./opt/isabelle/contrib/zipperposition-2.0-1/x86_64-linux/zipperposition.oKAfbN: warning: allocated section `.dynstr' not in segment
during "Stripping unneeded symbols from binaries and libraries" but isabelle seems to work anyway.
If someone has a fix please let me know!