2011-11-08から1日間の記事一覧
形式的仕様検証ツールあたりは、すでにfmportっていうのが存在するけれど、 E Proverなどのebuildは見つからなかったので、自作して公開することにした。https://github.com/na4zagin3/proof-overlay 使い方 まず、/etc/layman/layman.cfgの overlays : http…
形式的仕様検証ツールあたりは、すでにfmportっていうのが存在するけれど、 E Proverなどのebuildは見つからなかったので、自作して公開することにした。https://github.com/na4zagin3/proof-overlay 使い方 まず、/etc/layman/layman.cfgの overlays : http…