This website requires JavaScript.
Explore
Help
Sign In
mirror
/
RosettaCodeData
mirror of
https://github.com/acmeism/RosettaCodeData.git
Watch
1
Star
0
Fork
You've already forked RosettaCodeData
0
Code
Issues
Packages
Projects
Releases
Wiki
Activity
master
RosettaCodeData
/
Task
/
FizzBuzz
/
V
/
fizzbuzz-3.v
2 lines
68 B
Coq
Raw
Permalink
Blame
History
[
check
[
N
X
F
:
[
[
integer
?
]
[
[
X
%
zero
?
]
[
N
F
cons
]
if
]
if
]
]
view
]
.
Reference in New Issue
View Git Blame
Copy Permalink