Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: lean
18 items with this tag.
apply (Lean)
lean
Elaboration (Lean)
lean
exact (Lean)
lean
Explicit Parameter (Lean)
lean
funext (Lean)
lean
Generalising Induction (Lean)
lean
proof-techniques
Implicit Parameter (Lean)
lean
Induction (Lean)
lean
proof-techniques
Instance (Lean)
lean
Instance Synthesis (Lean)
lean
Instance-Implicit Parameter (Lean)
lean
Lean
programming-languages
lean
simp (Lean)
lean
Structure (Lean)
lean
Tactic (Lean)
lean
Typeclass (Lean)
lean
unfold (Lean)
lean
Universe (Lean)
lean
1
2
Page 1 of 2