GitHub repository: kbuzzard/lean4-filters
Primary language: Lean
Created: 2021-03-23T16:37:16Z
Description: thinking about a "filter game" in Lean 4.