PyPI page
Home page
Author:
None
Summary:
Prelude definitions for Metamath projects
Latest version:
0.0.2
Required dependencies:
proof-scaffold
Downloads last day:
20
Downloads last week:
36
Downloads last month:
62