cryptol-java-client A Java language client for cryptol-remote-api (https://github.com/GaloisInc/argo)