Post #1722377

@tao@mathstodon.xyz Also, is there system other than traditional route to be accredited. Is there exams or assessments that one could take in person and get a certification showing expertise so that when one finds a proof, it will be taken more seriously in addition to written the proof in LEAN or another proof assistant.