Give AlbumentationsX a star on GitHub — it powers this leaderboard

ezyang/lr-agda

Logical relations proof in Agda

Stars: 27Language: Agda

View on GitHub Owner: ezyang

ezyang/lr-agda - GitHub Repository | PyPI Leaderboard