Skip to content

Deducteam/lean2dk

About

WIP translation from Lean to Dedukti

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published