3 ms·

Well according to https://deducteam.github.io/ https://deducteam.github.io/ HOL and Coq can be autotranslated to Dedukti (which is the language Logipedia uses).

by brohee 8y ago

Well according to https://deducteam.github.io/ https://deducteam.github.io/ HOL and Coq can be autotranslated to Dedukti (which is the language Logipedia uses)...