About the MIPs category

This category includes the formal Maple Improvement Proposals that have been moved to vote.