{ pkgs, lib, config, ... }:
{
home.packages = [
  pkgs.geogebra
  pkgs.stellarium
  pkgs.wxmaxima
  #pkgs.zotero
];
}