GitHub repository: leanprover-community/liquid
Primary language: TeX
Description: Website and documentation for the Liquid Tensor Experiment