Skip to content

Dedukti 2.7

Latest
Compare
Choose a tag to compare
@gabrielhdt gabrielhdt released this 18 Jun 13:00
· 64 commits to master since this release
  • Rewriting modulo ACU (experimental)
  • New API
  • New command line interface
  • Bugs fixed
  • Add Universo: a tool to manipulate universes with Dedukti