GitHub repository: leanprover-community/lean-liquid
Primary language: Lean
Description: 💧 Liquid Tensor Experiment