logic_induction0.1.0
A Lean 4 formalization of the exercises in "Induction: Well-founded relations and generalized induction", lecture notes by Prof. Mohamed Amer for a logic course at Cairo University.
1-1 of 1 versions of logic_induction
Sort by
Date
- 0.1
0.1.0v4.35.0412.9 KB