« Changelog History


Free Algebras v0.0.2.0 Release Notes

    • Simplified Proof type.