自動定理証明器用のoverlayを作ってみた
形式的仕様検証ツールあたりは、すでにfmportっていうのが存在するけれど、
E Proverなどのebuildは見つからなかったので、自作して公開することにした。
https://github.com/na4zagin3/proof-overlay
使い方
まず、/etc/layman/layman.cfgの
overlays : http://www.gentoo.org/proj/en/overlays/repositories.xml
ってなっている行を探して、
overlays : http://www.gentoo.org/proj/en/overlays/repositories.xml https://raw.github.com/na4zagin3/proof-overlay/master/overlay.xml
のように一行追加する。
そうしたら、
# layman -L | grep -e 'proof'
として、proofオーバーレイが認識されているされていることを確認した上で、
# layman -a proof
とすれば完了。