PyPI page
Author:
ram
Summary:
Convert Metamath databases to SQLite
Latest version:
1.0.4
Required dependencies:
pypdl
|
tree-sitter
|
tree-sitter-metamath
Downloads last day:
3
Downloads last week:
9
Downloads last month:
38
7-day smoothing