RosettaCodeData/Task/Conditional-structures/V/conditional-structures-3.v

9 lines
79 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
3 [
[1 =] [1 *]
[2 =] [10 *]
[3 =] [100 *]
[4 =] [1000 *]
] when
=300