feat: add `shell.nix` file

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

40 stars 15 forks source link

Closed urkud closed 7 months ago

urkud commented 1 year ago

This way one can run nix-shell in the root folder and get a shell with all needed dependencies.

-- For a reason I fail to understand, make build inside nix-shell fails.

urkud commented 7 months ago

I no longer plan to use mathport, so I'm not going to work on this.