PyPI page
Home page
Author:
None
Summary:
Logic definitions for Metamath projects
Latest version:
0.0.2
Required dependencies:
metamath-prelude
|
proof-scaffold
Downloads last day:
0
Downloads last week:
13
Downloads last month:
32