Towards extraction of theorems and proofs in scholarly articles. - Shrey Mishra; Lucas Pluvinage; Pierre Senellart (DocEng, 2021)