Tools for working with Metamath proof databases. This project is a fork of Norm Megill's Proof Assistant, which you can find at http://us.metamath.org/ .

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow Metamath Proof Tools

Metamath Proof Tools Web Site

You Might Also Like
Red Hat Enterprise Linux on Microsoft Azure Icon
Red Hat Enterprise Linux on Microsoft Azure

Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Metamath Proof Tools!

Additional Project Details

Intended Audience

Science/Research

User Interface

Console/Terminal

Programming Language

C

Related Categories

C Mathematics Software

Registered

2007-02-07
Report inappropriate content