https://github.com/carliros/software-foundations-book

http://www.cis.upenn.edu/~bcpierce/sf
https://github.com/carliros/software-foundations-book

Last synced: 2 months ago
JSON representation

http://www.cis.upenn.edu/~bcpierce/sf

• Host: GitHub
• URL: https://github.com/carliros/software-foundations-book
• Owner: carliros
• Created: 2015-03-21T20:36:07.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-11-10T02:31:24.000Z (over 4 years ago)
• Last Synced: 2024-01-24T02:19:24.012Z (5 months ago)
• Language: Coq
• Size: 6.13 MB
• Stars: 15
• Watchers: 2
• Forks: 1
• Open Issues: 1

Lists

• awesome-software-quality - epub - Benjamin C. Pierce & Co (In English / Introduction)