https://github.com/rajdakin/tipe-ens

https://github.com/rajdakin/tipe-ens

Last synced: 2 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/rajdakin/tipe-ens
• Owner: rajdakin
• Created: 2022-01-05T14:32:36.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2022-06-13T17:33:00.000Z (over 2 years ago)
• Last Synced: 2024-11-19T16:09:05.189Z (2 months ago)
• Language: Coq
• Size: 94.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project