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