Login / Signup
Lucas Pluvinage
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Cut Elimination
Sequent Calculus
Theorem Prover
Automatic Extraction
Top Venues
DocEng
</>
Publications
</>
Shrey Mishra
,
Lucas Pluvinage
,
Pierre Senellart
Towards extraction of theorems and proofs in scholarly articles.
DocEng
(2021)