Superposition as a Super Datalogphilipzucker.com3 points·iamwil··0 commentsOpen articleSaveView on HN