M

metamath2sqlite

Project information

Convert Metamath databases to SQLite

metamath sqlite3 converter dataset

18 Commits
1 Branch
1 Tag

README

Created on

May 16, 2026

Loading