Dafny
首页
配置
配置
入门介绍
什么是dafny?
用起来吧！
安装
快速上手
可能遇到的问题?
指南
指南
Dafny快速入门
基础学习 Basic
方法 Method
关键字 Keyword
函数 Function
类 Class
泛型 Generics
声明 Statement
表达式 Expression
Dafny简单例子
寻找最大最小数和
斐波那契数列
线性查询
引理-计算序列非负元素个数
集合
终止
教程
教程
Dafny指导
介绍
方法 Methods
前置/后置条件 Pre/Postconditions
断言 Assertions
函数 Functions
循环不变体 Loop Invariants
数组 Arrays
量词(函数) Quantifiers
谓词(函数) Predicates
框架 Framing
二分搜索 Binary Search
总结
Dafny进阶语法
引理和归纳 Lemmas and Induction
模块 Modules
集合 sets
序列 sequence
终止 Terminal
值类型 Values Types
资源
资源
实践探索
自动归纳
自动调用引理
定义、证明、算法正确性
各种推导式
不同类型的证明
集合元素上的函数
在集合上的迭代
常用工具
Type System
Style Guide
Cheet Sheet
✨收藏
🏷️语言
简体中文
English
💬社区留言板
GitHub
(opens new window)
全部分类
指南
14
简单例子
6
Tips
1
资源
10
常用工具
3
教程
19
Dafny进阶语法
6
语言
19
publication-lecture
13
dafny-tutorials
1
detailed-document
2
dafny-quick-start
3
Dafny实践探索
7
收藏
1
配置
4
寻找最大和最小数
lijiahai
2022-04-06
指南
简单例子
教学例子
斐波那契数列
lijiahai
2022-04-06
指南
简单例子
教学例子
线性查询
lijiahai
2022-04-06
指南
简单例子
教学例子
引理-计算序列中非负元素的个数
lijiahai
2022-04-06
指南
简单例子
教学例子
集合
lijiahai
2022-04-06
指南
简单例子
教学例子
终止
lijiahai
2022-04-06
指南
简单例子
教学例子
tips
lijiahai
2022-04-01
Tips
Style Guide for Dafny programs
lijiahai
2022-03-26
资源
常用工具
1
1
1
-
Dafny type system
lijiahai
2022-03-26
资源
常用工具
引理和归纳
lijiahai
2022-03-26
教程
Dafny进阶语法
上一页
下一页
全部分类
指南
14
简单例子
6
Tips
1
资源
10
常用工具
3
教程
19
Dafny进阶语法
6
语言
19
publication-lecture
13
dafny-tutorials
1
detailed-document
2
dafny-quick-start
3
Dafny实践探索
7
收藏
1
配置
4
跟随系统
浅色模式
深色模式
阅读模式
