mm0_util (cargo): MM0/MM1 language utilities
Keywords: proving|proof|assistant|theorem