GitHub repository: kbuzzard/FilterGame
Primary language: Lean
Description: An interactive game introducing the concept of a filter.