metamath
metamath 0.198 · pkgs/by-name/me/metamath/package.nix
Health
Risk
risk 9 low
- +8 0.198 is behind upstream 0.199
- +1 no versionCheckHook
Version
0.198 upstream 0.199
Channels
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Interpreter for the metamath proof language
Long description
The metamath program is an ASCII-based ANSI C program with a command-line
interface. It was used (along with mmj2) to build and verify the proofs
in the Metamath Proof Explorer, and it generated its web pages. The *.mm
ASCII databases (set.mm and others) are also included in this derivation.
Homepage
Download page
License
Platforms
79 platforms: Linux, Darwin
Main program
metamathSource provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open. Upstream has 0.199: how to update a package.
Pull requests 0
None open.
Issues 0
None open.