pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-12-03 01:16:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Correct filename in README

Browse source
This commit is contained in:
Adam Chlipala 2017-02-09 13:54:58 -05:00
parent 1b97418f5e
commit fed5f5d812
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -9,7 +9,7 @@ Just run `make` here to build everything, including the book `frap_book.pdf` and
The main narrative, also present in the book PDF, presents standard program-proof ideas, without rigorous proofs. Matching Coq files here show how to make it rigorous. Interleaved with that narrative, there are also other lectures' worth of material, for building up more practical background on Coq itself. That secondary track appears in this list, too, at a higher level of indentation. The main narrative, also present in the book PDF, presents standard program-proof ideas, without rigorous proofs. Matching Coq files here show how to make it rigorous. Interleaved with that narrative, there are also other lectures' worth of material, for building up more practical background on Coq itself. That secondary track appears in this list, too, at a higher level of indentation.
* Chapter 2: `BasicSyntax.v` * Chapter 2: `BasicSyntax.v`
* `DataStructures.v`: polymorphism and generic data structures * `Polymorphism.v`: polymorphism and generic data structures
* Chapter 3: `Interpreters.v` * Chapter 3: `Interpreters.v`
* Chapter 4: `TransitionSystems.v` * Chapter 4: `TransitionSystems.v`
* Chapter 5: `ModelChecking.v` * Chapter 5: `ModelChecking.v`