Readme: project table shows issues more compactly#187

TwoFX merged 1 commit intomasterleanprover/human-eval-lean:masterfrom

markus/table-linkleanprover/human-eval-lean:markus/table-linkCopy head branch name to clipboard