Package Details: matita 0.99.3-1

Git Clone URL: https://aur.archlinux.org/matita.git (read-only, click to copy)
Package Base: matita
Description: An experimental, interactive theorem prover
Upstream URL: http://matita.cs.unibo.it/index.shtml
Licenses: GPL2
Submitter: andrea_berling
Maintainer: andrea_berling
Last Packager: andrea_berling
Votes: 0
Popularity: 0.000000
First Submitted: 2019-06-16 13:22
Last Updated: 2019-06-16 14:46

Dependencies (18)

Required by (0)

Sources (3)