- languages
- language
目录
- # 1. dafny-quick-start
- 1-1. Dafny Quick Reference 1-2. Getting Started with Dafny A Guide 1-3. cheet
- # 2. dafny-tutorials
- 2-1. Getting Started with Dafny A Guide
- # 3. detailed-document
- 3-1. Dafny type system 3-2. Style Guide for Dafny programs
- # 4. publication-lecture
- 4-1. Automatic Induction 4-2. Calling Lemmas Automatically 4-3. Case study of definitions, proofs, algorithm correctness GCD 4-4. Comprehensions 4-5. Different Styles of Proofs 4-6. Functions over Set Elements 4-7. Iterating over a Collection 4-8. old and unchanged 4-9. Short-Circuit Operators 4-10. Statement versus Expression Syntax 4-11. The Parent Trick for proving termination and a function-by-method use case 4-12. Type-Parameter Completion 4-13. Type-parameter modes variance and cardinality preservation
上次更新: 2022/04/01, 15:33:45