research
∙
05/08/2014
Dialogues for proof search
Dialogue games are a two-player semantics for a variety of logics, inclu...
research
∙
09/03/2011
Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission
When formalizing proofs with interactive theorem provers, it often happe...
research
∙
08/17/2011