Keyword:Lean theorem prover

Papers
EasyChair Preprint no. 6216