https://github.com/yousiki/softwarefoundations

https://github.com/yousiki/softwarefoundations

Last synced: 6 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/yousiki/softwarefoundations
• Owner: YOUSIKI
• License: mit
• Created: 2022-04-07T10:28:06.000Z (over 2 years ago)
• Default Branch: LogicalFoundations
• Last Pushed: 2022-06-22T16:12:30.000Z (over 2 years ago)
• Last Synced: 2024-10-12T00:25:46.861Z (about 1 month ago)
• Language: HTML
• Size: 5.85 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

        
#########################################################################

                           SOFTWARE FOUNDATIONS

#########################################################################

This directory contains both Coq scripts (.v files) and more readable

HTML files for Volume 1 of the Software Foundations electronic

textbook series.

  - 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