自動定理証明器用の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

とすれば完了。