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: Dec 20 2023 at 11:08 UTC