2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Luca Ciccone
Theorem provers are tools that help users to write machine readable proofs. Some of this tools are also interactive. The need of such softwares is increasing since they provide pro…