Abstract: Theorem proving demonstrates promising potential for verifying problems beyond the capabilities of SMT-solver-based verification tools. We explore and showcase the capability of Lean, an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results