{"id":"2101.10166","title":"A Machine-checked proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory","url":"https://codeofpaper.com/paper/2101.10166","arxiv_url":"https://arxiv.org/abs/2101.10166","published":"2021-01-25","code":"official","best":{"full_name":"ualib/agda-algebras","url":"https://github.com/ualib/agda-algebras","tier":"official","stars":50,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2026-10-16T04:05:58"},"most_starred_community":null,"implementations":[{"full_name":"ualib/agda-algebras","url":"https://github.com/ualib/agda-algebras","tier":"official","stars":50,"license":"Apache-2.0","framework":null,"language":"Python","last_commit":"2026-10-16T04:05:58"},{"full_name":"ualib/ualib.github.io","url":"https://github.com/ualib/ualib.github.io","tier":"official","stars":20,"license":"CC-BY-SA-4.0","framework":null,"language":"TeX","last_commit":"2021-12-08T03:41:15"}],"possible_matches":0}