jasmin-lang/jasmin
说明与用途
jasmin-lang/jasmin:jasmin-lang/jasmin helps prototype or inspect blockchain workflows with open implementation details.。适合用于build Web3 workflows、inspect blockchain integrations。Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
实际用途
jasmin-lang/jasmin helps prototype or inspect blockchain workflows with open implementation details.
- build Web3 workflows
- inspect blockchain integrations
- prototype wallet or DeFi features
限制与审查说明
Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
- 来源: github
- 语言: Rocq Prover
- 记录日期: 2026-09-05T17:31:22.623Z