Metamath Proof Tools

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

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/ .

In a Nutshell, Metamath Proof Tools...

...
has had 31 commits made by 1 contributors
representing 21,555 lines of code
...
is mostly written in C
with an average number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 6 years of effort (COCOMO model)
starting with its first commit in February, 2007
ending with its most recent commit over 18 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://svn.code.sf.net/p/metama...

Similar Projects:

Managers:

Become the first manager for Metamath Proof Tools

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
55% of companies leverage OSS for production infrastructure
...
compare projects before you chose one to use