https://github.com/nud3l/concrete-semantics

Exercises for concrete semantics with Isabelle/HOL
https://github.com/nud3l/concrete-semantics

Last synced: 5 days ago
JSON representation

Exercises for concrete semantics with Isabelle/HOL

• Host: GitHub
• URL: https://github.com/nud3l/concrete-semantics
• Owner: nud3l
• License: mit
• Created: 2017-03-09T13:48:23.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-03-16T08:57:36.000Z (over 7 years ago)
• Last Synced: 2023-03-08T23:49:16.725Z (over 1 year ago)
• Language: Isabelle
• Size: 24.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project