https://matroids.axiommath.ai/https://matroids.axiommath.ai/mason/https://matroids.axiommath.ai/heron/https://matroids.axiommath.ai/writeup/https://matroids.axiommath.ai/verification/