https://github.com/pirapira/surreal

surreal numbers in Coq
https://github.com/pirapira/surreal

Last synced: 26 days ago
JSON representation

surreal numbers in Coq

• Host: GitHub
• URL: https://github.com/pirapira/surreal
• Owner: pirapira
• Created: 2011-12-05T10:35:08.000Z (about 13 years ago)
• Default Branch: master
• Last Pushed: 2011-12-05T10:35:23.000Z (about 13 years ago)
• Last Synced: 2024-10-28T13:48:28.246Z (2 months ago)
• Language: Verilog
• Homepage:
• Size: 97.7 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project