metamath

Construct mathematics from basic axioms

Fedora
RUN dnf install -y metamath
click the source code to copy install metamath on any operating system with command-not-found.com