https://github.com/mikea/software-foundations

Copy of original Software Foundations files (http://www.cis.upenn.edu/~bcpierce/sf/)
https://github.com/mikea/software-foundations

Last synced: about 2 months ago
JSON representation

Copy of original Software Foundations files (http://www.cis.upenn.edu/~bcpierce/sf/)

• Host: GitHub
• URL: https://github.com/mikea/software-foundations
• Owner: mikea
• Created: 2012-08-01T22:05:09.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2013-02-22T17:50:14.000Z (almost 12 years ago)
• Last Synced: 2024-10-14T18:32:12.462Z (3 months ago)
• Language: Coq
• Size: 1.54 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project