Kha/lean-infra

NixOS config for Lean-related services I maintain

This repository is not active