The development of new Jasmin implementations switched to https://github.com/formosa-crypto/libjade
For more information about the Formosa Crypto Project, consult the following website: https://formosa-crypto.org/
git clone --recurse-submodules https://github.com/tfaoliveira/libjc.git
cd libjc/env
vagrant up
You should now have an Ubuntu machine with Jasmin compiler and EasyCrypt installed. If you also want to install Proof General -- check PG page for details:
M-x package-refresh-contents RET
M-x package-install RET
proof-general RET
You can read the following page if you encounter any gpg related error: https://elpa.gnu.org/packages/gnu-elpa-keyring-update.html. If the public key isn't found, probably the following command will fix the issue:
gpg --homedir ~/.emacs.d/elpa/gnupg --receive-keys 066DAFCB81E42C40
(output set 136 bytes)
