23 citations · 68 across the 22 of their papers we have counts for
1 paper · 1 filter
Bohua Zhan
We present a new framework for formalizing mathematics in untyped set theory using auto2. Using this framework, we formalize in Isabelle/FOL the entire chain of development from th…