https://github.com/dmxlarchey/sqrt2

The square root of 2 is not rational
https://github.com/dmxlarchey/sqrt2

Last synced: about 1 month ago
JSON representation

The square root of 2 is not rational

• Host: GitHub
• URL: https://github.com/dmxlarchey/sqrt2
• Owner: DmxLarchey
• Created: 2023-01-18T16:53:18.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2023-01-19T10:07:54.000Z (about 2 years ago)
• Last Synced: 2024-11-06T07:44:19.660Z (3 months ago)
• Language: Coq
• Homepage:
• Size: 11.7 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project