metamath2sqlite

Project information

Project ID: 82249432

Convert Metamath databases to SQLite

metamath sqlite3 converter dataset

35 Commits
1 Branch
5 Tags
5 Releases

README
MIT License
CHANGELOG

Created on

May 16, 2026