GitHub repository: utensil/lean-playground
Primary language: Lean
Description: Experiment with Lean prover.