https://github.com/myuon/isabelle-software-foundations

"Software Foundations" in Isabelle
https://github.com/myuon/isabelle-software-foundations

Last synced: about 2 months ago
JSON representation

"Software Foundations" in Isabelle

• Host: GitHub
• URL: https://github.com/myuon/isabelle-software-foundations
• Owner: myuon
• Created: 2014-12-13T16:45:32.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2019-01-27T13:25:42.000Z (almost 6 years ago)
• Last Synced: 2024-10-16T06:54:20.995Z (3 months ago)
• Language: Isabelle
• Size: 71.3 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Software Foundations in Isabelle

---------

- html: [https://myuon.github.io/isabelle-software-foundations/](https://myuon.github.io/isabelle-software-foundations/)

- ["Software Foundations"](http://www.cis.upenn.edu/~bcpierce/sf/current/index.html)

- ["ソフトウェアの基礎"](http://proofcafe.org/sf/) in Japanese