GitHub repository: mirefek/lean-tactic-programming-guide
Primary language: Lean
Description: Beginner's guide to Tactic Programming in Lean