221 followers ArXiv cs.LO @arxiv_cslo Interactive Visualization of Saturation Attempts in Vampire https://t.co/V7Me3aisGB 14 Jan 2020 Reply Repost Favourite