https://pantsbuild.org/ logo
#development
Title
# development
f

fancy-queen-20734

06/03/2016, 6:35 PM
Maybe that could be the subtitle of the new engine readme: "a rejection of the resolution uniform proof procedure paradigm"