https://github.com/0xd34df00d/fizzbuzz-i
FizzBuzz, formally verified, provably correct
https://github.com/0xd34df00d/fizzbuzz-i
fizzbuzz idris
Last synced: 5 months ago
JSON representation
FizzBuzz, formally verified, provably correct
- Host: GitHub
- URL: https://github.com/0xd34df00d/fizzbuzz-i
- Owner: 0xd34df00d
- Created: 2019-03-01T23:55:05.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2023-03-04T20:52:52.000Z (over 3 years ago)
- Last Synced: 2025-10-13T19:32:20.777Z (9 months ago)
- Topics: fizzbuzz, idris
- Language: Idris
- Size: 28.3 KB
- Stars: 27
- Watchers: 3
- Forks: 0
- Open Issues: 0