lean-graded-rings
Lean
★ 8
updated 3y ago
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
No plain-English explanation yet — one is being written right now. Check back in a minute.