Keyword:interactive theorem prover

Papers
Automatically Generalizing Theorems Using Typeclasses Alexander Best EasyChair Preprint no. 6216
Automated Theorem Proving in a Chat Environment Rustam Zhumagambetov and Mark Sterling EasyChair Preprint no. 447