Package Details: metamath 0.182-1

Git Clone URL: (read-only, click to copy)
Package Base: metamath
Description: A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified.
Upstream URL:
Licenses: GPL
Submitter: aksr
Maintainer: aksr
Last Packager: aksr
Votes: 1
Popularity: 0.000000
First Submitted: 2014-09-15 10:25
Last Updated: 2020-06-08 11:03

Latest Comments

refusenick commented on 2019-10-27 22:12

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