4 citations · 4 across the 1 of their papers we have counts for
1 paper
Quentin Garchery
In various provers and deductive verification tools, logical transformations are used extensively in order to reduce a proof task into a number of simpler tasks. Logical transforma…