Formal Contracts for Multi-Agent Reinforcement Learning (contracts library) | grantmaking.ai