Vol-4240⫷ Vol-4241 ⫸Vol-4242
urn:nbn:de:0074-4241-0


Vol-4241/short1⫷Vol-4241/paper2⫸Vol-4241/short2
Melanie TaproggeHappy SariyantoAlexander Steen

A light-weight proof checker for TSTP refutations