Keyword:Metamath

Publications
EasyChair Preprint 6207