Package Details: isabelle-tum 2021-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: 0
Popularity: 0.000000
First Submitted: 2020-04-23 11:27
Last Updated: 2021-02-21 21:57

Latest Comments

MW360 commented on 2021-02-21 22:24

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!