This repository contains some work-in-progress documentation for VeriFast.
See also:
- The VeriFast Tutorial
- Featherweight VeriFast (Slides, handouts, Coq proof)
- Scientific papers on the various underlying ideas
-
Notifications
You must be signed in to change notification settings - Fork 0
Documentation for VeriFast
verifast/verifast-docs
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Documentation for VeriFast