https://github.com/diohabara/hello-coq

hello world by coq
https://github.com/diohabara/hello-coq

coq

Last synced: 5 days ago
JSON representation

hello world by coq

• Host: GitHub
• URL: https://github.com/diohabara/hello-coq
• Owner: diohabara
• License: mit
• Created: 2022-03-03T02:40:30.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-03-03T04:25:25.000Z (almost 3 years ago)
• Last Synced: 2024-11-17T05:45:48.798Z (2 months ago)
• Topics: coq
• Language: Coq
• Homepage:
• Size: 1000 Bytes
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project