Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] the height of a Dyck path codified by balanced...

Email Gateway (Aug 22 2022 at 17:38):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
Hello,
I need to mechanize a theorem involving the height of a Dyck path
codified by balanced parentheses, i.e., the maximum depth of nested
parenthesis in a string. Do you know some library that could be useful for
this task? Thank you in advance.
José M.

Last updated: Apr 30 2025 at 08:27 UTC