GitHub repository: Algorithmic-Alignment-Lab/contracts
Primary language: Python
Description: Formal Contracts for Multi-Agent Reinforcement Learning