https://github.com/kraks/playground

my playground
https://github.com/kraks/playground

Last synced: 23 days ago
JSON representation

my playground

• Host: GitHub
• URL: https://github.com/kraks/playground
• Owner: Kraks
• Created: 2018-11-20T06:52:51.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2024-10-10T10:47:56.000Z (about 1 month ago)
• Last Synced: 2024-10-11T21:51:49.359Z (about 1 month ago)
• Language: Coq
• Homepage:
• Size: 3.27 MB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project