lookup> Dafny

Dafny

Dafny 是 GitHub Linguist 收录的一种编程语言，通常使用 .dfy 等扩展名。

编程语言

快速事实

名称Dafny

类型编程语言

扩展名.dfy

MIME 类型—

什么是 Dafny

Dafny

Dafny 是 GitHub Linguist 收录的一种编程语言，通常使用 .dfy 等扩展名。

在 GitHub Linguist 中，Dafny 被归类为编程语言，常用扩展名包括 .dfy。

文件扩展名：

.dfy

相关语言

常见问题

Dafny 主要用于什么？

Dafny 是 GitHub Linguist 收录的一种编程语言，通常使用 .dfy 等扩展名。

Dafny 使用哪些文件扩展名？

常见扩展名包括 .dfy。

来源与规范

更新于 2026-08-18

继续探索

相关语言