https://github.com/rog0d/logics

Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations
https://github.com/rog0d/logics

Last synced: 7 days ago
JSON representation

Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations

• Host: GitHub
• URL: https://github.com/rog0d/logics
• Owner: roG0d
• Created: 2021-11-30T08:57:44.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2022-01-26T16:21:05.000Z (almost 3 years ago)
• Last Synced: 2024-11-15T09:18:34.378Z (2 months ago)
• Language: Coq
• Homepage: https://softwarefoundations.cis.upenn.edu/lf-current/index.html
• Size: 111 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project