GitHub repository: Kha/lean-infra
Primary language: Nix
Description: NixOS config for Lean-related services I maintain