superpermutation_upper_bound0.1.0
Lean proofs of the 43/80 upper bound for superpermutations, with explicit words on 8-13 symbols
1-1 of 1 versions of superpermutation_upper_bound
Sort by
Date
- 0.1
0.1.0v4.31.0
superpermutation_upper_bound0.1.00.1.0