Search Criteria
Package Details: isabelle-tum 2021_1-1
Package Actions
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)
- perl (perl-gitAUR)
- perl-libwww
- texlive-core (texlive-installerAUR, texlive-fullAUR, texlive-basic) (optional) – document preparation
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!