6 citations · 6 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
Reflexive tactics for algebra, revisited
Kazuhiko Sakaguchi
Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology i…
cs.PL2020★ 6 cited
Validating Mathematical Structures
Kazuhiko Sakaguchi
Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in…