1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
nixpkgs/pkgs/applications/science
2012-09-04 14:34:31 +02:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic Upgrade Isabelle proof assistant to version 2012 2012-09-04 14:34:31 +02:00
math
misc