Tags

additive combinatorics
Jan 1, 2023
formalisation of mathematics
Jan 1, 2023
graph theory
Jan 1, 2023
interactive theorem proving
Jan 1, 2023
probabilistic method
Jan 1, 2023
proof assistant
Jan 1, 2023
Isabelle/HOL
Jan 1, 0001