1 Intro Ref System Logics HOL ZF Inductive AxClass Tutorial
1 Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef