Keyword:Coq proof assistant

Papers
Automated Theorem Proving in a Chat Environment Rustam Zhumagambetov and Mark Sterling EasyChair Preprint no. 447