Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
overlay for automated provers and formal method tools
branch: master

This branch is 25 commits behind na4zagin3:master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
dev-ml/menhir
profile
sci-mathematics
.gitignore
README.markdown
overlay.xml

README.markdown

An Overlay for Automatic Theorem Provers

How to Use

Edit your /etc/layman/layman.conf

#-----------------------------------------------------------
# URLs of the remote lists of overlays (one per line) or
# local overlay definitions
#
#overlays  : http://www.gentoo.org/proj/en/overlays/repositories.xml
#            http://dev.gentoo.org/~wrobel/layman/global-overlays.xml
#            http://mydomain.org/my-layman-list.xml
#            file:///var/lib/layman/my-list.xml

overlays  : http://www.gentoo.org/proj/en/overlays/repositories.xml
            https://raw.github.com/na4zagin3/proof-overlay/master/overlay.xml # add this line!
Something went wrong with that request. Please try again.