Dafny
(Up) | Wikipedia: Dafny | See also: Programming Languages
Web resources
Dafny ★
Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research ★
Dafny Resources for Users | Dafny Documentation ★
Dafny Reference Manual - Dafny Documentation ★
Modules Tutorial - Dafny Documentation ★
Papers
History of
by-topic
/
Dafny
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add Wikipedia links to many topics. Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 4 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 4 months ago
- Extract ratings to own files. Chris Pressey 1 year, 6 months ago
- Rename commentary files. Chris Pressey 1 year, 6 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 9 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 9 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 9 months ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago
- Fix link. Chris Pressey 2 years ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 2 years ago
- Link see-also links to anchor Chris Pressey 2 years ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 2 years ago