13 citations · 13 across the 1 of their papers we have counts for
1 paper
Tomer Libal, Martin Riener, Mikheil Rukhaia
Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impos…