Please provide links to preprints of papers
PhilippWendler opened this issue · 1 comments
PhilippWendler commented
The README contains a list of papers at the bottom with further information about witnesses, but one has to manually search for these papers. Adding links to preprints would make this list much more useful.