ergoplatform / ergo-contracts   1.0.0

Creative Commons Zero v1.0 Universal GitHub

Contracts for Ergo with verified properties

Scala versions: 2.12