12 citations · 44 across the 16 of their papers we have counts for
1 paper · 2 filters
William M. Farmer
Chiron is a derivative of von-Neumann-Bernays-Gödel (NBG) set theory that is intended to be a practical, general-purpose logic for mechanizing mathematics. Unlike traditional set t…