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)
支持
lijiahai
2022-01-11
目录
本站 - 导航站模块
#
搜索引擎
#
前端开发
编辑
(opens new window)
上次更新:
2022/03/25, 01:03:52
最近更新
01
寻找最大和最小数
04-06
02
斐波那契数列
04-06
03
线性查询
04-06
更多文章>
跟随系统
浅色模式
深色模式
阅读模式
本站 - 导航站模块