Fedora Rawhide for s390x : / usr /share /doc /why3-examples /examples /python

• arrays
• arrays.py
• break_continue
• break_continue.py
• check_duplicates
• check_duplicates.py
• concat
• concat.py
• dicho
• dicho.py
• even
• even.py
• fact
• fact.py
• is_sorted
• is_sorted.py
• isqrt
• isqrt.py
• isqrt_fun
• isqrt_fun.py
• mult
• mult.py
• nim
• nim.py
• pgcd
• pgcd.py
• range
• range.py
• reverse
• reverse.py
• selection_sort
• selection_sort.py
• sort
• sort.py
• sum_reverse
• sum_reverse.py
• triangular
• triangular.py
• turing
• turing.py
• types
• types.py

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 31 05:24:49 2025