136 citations · 313 across the 25 of their papers we have counts for
1 paper · 1 filter
Pierre Senellart, Anton Gnatenko
We show that descriptive complexity can serve as a foundation for formalizing computational complexity results in a proof assistant, by constructing a Lean library centered around…