Search Criteria
Package Details: isabelle 2019-1
| Git Clone URL: | https://aur.archlinux.org/isabelle.git (read-only) |
|---|---|
| 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: | badcasa |
| Last Packager: | badcasa |
| Votes: | 21 |
| Popularity: | 0.000001 |
| First Submitted: | 2014-06-07 09:32 |
| Last Updated: | 2019-06-15 15:06 |