MutualInduction0.2.0
A mutual induction tactic for Lean 4.
1-1 of 1 packages depending on ionathanch/MutualInduction
Sort by
Package Name
ionathanch/CBPVuses
c2a2634Lean 4 mechanization of assorted CBPV metatheory.
MutualInduction0.2.0c2a2634