CtrlK
BlogDocsLog inGet started
Tessl Logo

tessl/pypi-dafnyruntimepython

Python runtime library for Dafny, providing essential data structures, type representations, and utility functions for executing Dafny-compiled Python code

—

Pending
Overview
Eval results
Files

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"
}

Install with Tessl CLI

npx tessl i tessl/pypi-dafnyruntimepython

tile.json