A program to dynamically generate and print every possible arrangement (permutation) of a user-provided string in strict dictionary (lexicographic) order without relying on a recursive algorithm. The ...
This repository formalizes the paper A 4AP-free permutation of the positive integers in Lean 4 with mathlib. It also provides a readable Python implementation of the permutation and its inverse. Paper ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results