Zulip Chat Archive

Stream: new members

Topic: Intro: Andrew Carter

Andrew Carter (Nov 12 2022 at 23:07):

Hey everyone, I work on graph databases at LinkedIn (that is to say a database modelled as a graph - as opposed to a database of interesting graphs). I have an unexplored soft spot theorem provers, and in particular I was thinking about exploring algorithmic complexity.

Martin Dvořák (Nov 13 2022 at 11:58):

Hi! I am happy to see you here!

As for complexity theory, you would have to start formalizing it in Lean almost from scratch. Unfortunately, it seems nobody wants to start; see the previous discussion:

Bolton Bailey (Nov 15 2022 at 22:25):

@Praneeth Kolichala was looking for people who were interested in Complexity Theory. It sounds like fun, and I've made attempts to do it in the past, but I don't have time these days to spend on another project.

Last updated: Dec 20 2023 at 11:08 UTC