Reproducible build environment#85

Open

rkunnema wants to merge 3 commits intoDeepSec-prover:masterfrom

rkunnema:master

Commits on Jan 20, 2025

Nix files (first attempt)
Robert Künnemann
committed

Commits on Jan 21, 2025

Still trying with nix.
Robert Künnemann
committed

Commits on Mar 3, 2025

Some cleanup (accidentally changed example file)
Robert Künnemann
committed