Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

T

translator

Project information

The translator from Metamath to Dedukti

44 Commits
2 Branches
1 Tag

README

Created on

September 30, 2022

Copy SSH clone URLgit@gitlab.com:semantiko/mm2dk/translator.git
Copy HTTPS clone URLhttps://gitlab.com/semantiko/mm2dk/translator.git