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

Solution set to the Software Foundations Series, Vol. 1: Logical Foundations
https://github.com/nickburrell/software-foundations

Last synced: about 1 month ago
JSON representation

Solution set to the Software Foundations Series, Vol. 1: Logical Foundations

• Host: GitHub
• URL: https://github.com/nickburrell/software-foundations
• Owner: NickBurrell
• Created: 2021-09-12T07:10:00.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-09-12T07:10:46.000Z (over 3 years ago)
• Last Synced: 2024-10-08T23:04:22.972Z (2 months ago)
• Language: Coq
• Size: 194 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project