Dafny
-
Updated
Apr 12, 2023 - Dafny
#
dafny-lang
Here are 4 public repositories matching this topic...
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dafny category for AI2001, containing Dafny programming language datasets
ai
gplv3
artificial-intelligence
dataset
r-language
dafny
md
txt
gpl3
dafny-lang
dafny-language
rmarkdown-language
ai2001
ai-2001
ai2001-dataset
ai-2001-dataset
ai2001-development
ai-2001-development
source-code-dataset
dafny-sc-dataset
-
Updated
May 21, 2023 - R
The Dafny Programming language IDE submodule for SNU Programming Tools.
web-development
programming
web-ide
gplv3
ide
dafny
md
txt
snu
gpl3
snu2d-programmingtools
snu-2d
snu-programming-tools
snu-2d-programmingtools
snu-development
snu-2d-programming-tools
snuprogrammingtools
snu2dprogrammingtools
dafny-lang
dafny-language
-
Updated
Sep 14, 2022 - Dafny
A repository for showcasing my knowledge of the Dafny programming language, and continuing to learn the language.
knowledge
article
gplv3
learn
dafny
md
txt
gpl3
dfy
seanpm2001
seanpm2001-education
seanpm2001-learn
dafny-lang
dafny-language
learn-dafny
learn-dafny-lang
learn-dafny-language
dafny-collection
-
Updated
Sep 14, 2022 - Dafny
Improve this page
Add a description, image, and links to the dafny-lang topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dafny-lang topic, visit your repo's landing page and select "manage topics."