GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity

spelling in README

Browse Source
This commit is contained in:
Dylan McNamee 2014-04-27 11:26:37 -07:00
parent 62acc96f97
commit 3e22966c1c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -37,7 +37,7 @@ interpreter in the Start menu.
Cryptol currently depends on the Cryptol currently depends on the
[CVC4 SMT solver](http://cvc4.cs.nyu.edu/) to solve constraints during [CVC4 SMT solver](http://cvc4.cs.nyu.edu/) to solve constraints during
typechecking, and as the default solver for the `:sat` and `:prove` type checking, and as the default solver for the `:sat` and `:prove`
commands. You can download CVC4 binaries for a variety of platforms commands. You can download CVC4 binaries for a variety of platforms
from their [download page](http://cvc4.cs.nyu.edu/downloads/). from their [download page](http://cvc4.cs.nyu.edu/downloads/).
@ -154,7 +154,7 @@ send email to <cryptol@galois.com>.
If you plan to do development work on the Cryptol interpreter, please If you plan to do development work on the Cryptol interpreter, please
make a fork of the GitHub repository and send along pull make a fork of the GitHub repository and send along pull
requests. This makes it easier for us to track development and to requests. This makes it easier for us to track development and to
incorprate your changes. incorporate your changes.
### Repository Structure ### Repository Structure