Graded Rings in Lean's Dependent Type Theory

Authors: Eric Wieser, Jujian Zhang - Lecture notes in computer science 2022 cited by 0