Intro: Andrew Carter

Stream: new members

[Andrew Carter]

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]

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:
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Computational.20Complexity.20Theory

[Bolton Bailey]

@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.