© 2026 Buobe

Another verified program in Dafny | Buobe

Another verified program in Dafny

Published by

rdivyanshu.github.io

on •1 min read

Permutations of multiset can be generated in lexicographical order.

Another Verified Program Dafny