https://github.com/tarc/concrete-semantics-book

Self study log of the book
https://github.com/tarc/concrete-semantics-book

isabelle se

Last synced: about 1 month ago
JSON representation

Self study log of the book

• Host: GitHub
• URL: https://github.com/tarc/concrete-semantics-book
• Owner: tarc
• Created: 2015-10-06T04:18:09.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2015-11-22T19:01:59.000Z (about 9 years ago)
• Last Synced: 2023-04-12T08:42:24.931Z (over 1 year ago)
• Topics: isabelle, se
• Language: Isabelle
• Size: 32.2 KB
• Stars: 3
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# concrete-semantics-book

Self study log for the book [Concrete Semantics](http://www.concrete-semantics.org/), by Tobias Nipkow and Gerwin Klein.