Skip to content

feat: new deriving framework - #15320

Open
Rob23oba wants to merge 35 commits into
leanprover:masterfrom
Rob23oba:new-deriving-framework
Open

Rob23oba wants to merge 35 commits into
leanprover:masterfrom
Rob23oba:new-deriving-framework