I bought Mirage, especially on the recommendation of Les Walking, who's youtube clips, and a seminar I took, have been very educational. He also made some suggestions for some workaround for how I can certify GRACoL proofs outside of Mirage. I plan on using Mirage until/unless I can get...