Add giscus-based comments and reactions#4292

mo271 merged 11 commits into

google-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

codrut3:discussions-webtestcodrut3/formal-conjectures:discussions-webtestCopy head branch name to clipboard