Repository navigation

pyspecs2dafny

Public

About

No description, website, or topics provided.

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
dafny		dafny
lang_tests		lang_tests
nim		nim
py_grammar		py_grammar
pynotole		pynotole
transpiler		transpiler
README.md		README.md
build.sbt		build.sbt

Repository files navigation

pyspecs 2 Dafny transpiler

Research transpilers from a subset of Python to Dafny, intended to work with Ethereum related specs. Project description.

Scala transpiler

Python transpiler

About

No description, website, or topics provided.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages