agustinmista/easycrypt-docker

A Docker image with EasyCrypt, Z3, Alt-Ergo, and Doom Emacs with Proof-General preinstalled :D

语言：Emacs Lisp · GitHub 星标：2 · Fork：1

在 GitHub 上查看原仓库