The repository contains my solutions for NNG4.
- Tutorial World
- Addition World
- Multplication World
- Power World
- Implication World
- Algorithm World
- Advanced Addition World
- ≤ World
- Advanced Multplication World
-
rfl -
rw -
induction -
exact -
apply -
intro -
symm -
simp -
trivial -
contrapose -
decide -
cases -
have -
left -
right -
tauto -
use
-
simp_add
-
injection -
assumption