-
Notifications
You must be signed in to change notification settings - Fork 0
Software Foundations book's Exercices
License
akhesaCaro/software-foundations
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
######################################################################### SOFTWARE FOUNDATIONS ######################################################################### This directory contains both Coq scripts (.v files) and more readable HTML files for the Software Foundations electronic textbook. - Preface.v or Preface.html The place to start reading, including details on how to install required software - index.html The book's cover page and navigation starting point - deps.html Overview of the ordering of chapters - LICENSE Explanation of how these files may be redistributed
About
Software Foundations book's Exercices
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published