isabelle-bin : Generic proof assistant with higher-order logic ( https://isabelle.in.tum.de/overview.html )
scilab-bin : Scientific software package for numerical computations ( https://www.scilab.org/ )
Add an ebuild in portage :
The ebuild is now in the portage tree.
You can also use layman : emerge layman then layman -a src_prepare-overlay
For Paludis use this rsync : rsync://gentoo.zugaina.org/src_prepare-overlay-portage
If you have a problem : ycarus(-at-)zugaina.org