Meet the Team

Researchers

Avatar

Jonathan Llovet

Researcher

Formalized Mathematics, Network Science, Spectral Graph Theory, Proof Theory, Type Theory, Category Theory, Lean 4