emeinhardt / lean-flake-test

mild adaptation of sgraf812/dmdanal for testing lean + flake.nix behavior

This repository is not active

About

mild adaptation of sgraf812/dmdanal for testing lean + flake.nix behavior

Languages

Language:Lean 78.7%Language:Nix 21.3%