Celestial Math Engine Citations Project Configuration Generate default.nix Set up Nix Development Environment Inspiration Proving with Haskell [Explaining Abstract Algebra Concepts through Haskell] (https://hackage.haskell.org/package/algebra)