Zulip Chat Archive
Stream: new members
Topic: Chomsky hierarchy (Ph.D. project)
Martin Dvořák (Jan 31 2022 at 07:53):
Hello! My name is Martin. I love guinea pigs.
I am now starting with my Ph.D. project – to formalize Chomsky hierarchy in Lean.
Last updated: May 02 2025 at 03:31 UTC