Tessl Tile for pypi/dafnyruntimepython@4.10.0

or run

npx @tessl/cli init

Version

Tile

Overview

Evals

Files

docs

control-flow.md data-structures.md index.md mathematical-types.md system-types.md utilities.md

tile.json

{
  "name": "tessl/pypi-dafnyruntimepython",
  "version": "4.10.0",
  "docs": "docs/index.md",
  "describes": "pkg:pypi/DafnyRuntimePython@4.10.0",
  "summary": "Python runtime library for Dafny, providing essential data structures, type representations, and utility functions for executing Dafny-compiled Python code"
}