/metamath-exe

Metamath program - source code for the Metamath executable

Primary LanguageCGNU General Public License v2.0GPL-2.0

Stargazers