Package Details: isabelle-tum 2020-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: 2020-04-23 11:27

Dependencies (3)

Required by (0)

Sources (2)