Open daviddahl opened 5 years ago
For now, this is Reddit and Github. This is mainly a UI issue in the Proof Component
Reddit
Github
For now, this is
Reddit
andGithub
. This is mainly a UI issue in the Proof Component