Zulip Chat Archive
Stream: mathlib4
Topic: PDA
AlessandroLincetto (Nov 05 2023 at 16:34):
Is there anyone who is working on theorems transcript about Push Down Automata (PDA) in the Computability on mathlib4?
Martin Dvořák (Nov 06 2023 at 07:08):
To my knowledge, nobody is working on them.
Martin Dvořák (Nov 06 2023 at 07:10):
In case it is relevant, I have a PR about context-free grammars:
https://github.com/leanprover-community/mathlib4/pull/7666
Last updated: May 02 2025 at 03:31 UTC