GitHub repository: leanprover/lean4-samples
Primary language: Lean
Created: 2022-01-27T18:38:22Z
Description: Code samples for Lean 4