tchajed

Bot that sends emails when you push to GitHub

Container for using Rocq in VS Code

Image for Ivy prover

Run the Dafny verifier within Docker