Comment by lifthrasiir

I'm on a mobile right now so I can't give the exact paper link but you can learn about the CORE-MATH project [1].

[1] https://core-math.gitlabpages.inria.fr/