Package Details: metamath 0.178-1

Git Clone URL: https://aur.archlinux.org/metamath.git (read-only)
Package Base: metamath
Description: A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified.
Upstream URL: http://us.metamath.org/
Licenses: GPL
Submitter: aksr
Maintainer: aksr
Last Packager: aksr
Votes: 1
Popularity: 0.000000
First Submitted: 2014-09-15 10:25
Last Updated: 2019-11-01 05:47

Latest Comments

refusenick commented on 2019-10-27 22:12

metamath.tar.gz fails its checksums. Building with makepkg -si in a clean directory.