Up – Package index » dedukti » Library dedukti.kernel » Kernel » Version

Module `Kernel.Version`Source

Dedukti's current version.

dedukti
- CHANGELOG
- README
- Library dedukti.api
  - Api
- Library dedukti.kernel
  - Kernel
- Library dedukti.parsers
  - Parsers
- Sources

Sourceval version : string