GitHub repository: Anderssorby/Nix.lean
Primary language: Lean
Created: 2021-11-15T20:20:07Z
Description: Nix expressions and derivations in lean (in development)