Pinned Loading

1. viperproject/carbon viperproject/carbon Public

   Verification-condition-generation-based verifier for the Viper intermediate verification language.

   Scala 30 22

2. viperproject/carbon-proofgen viperproject/carbon-proofgen Public

   Scala

3. viperproject/boogie-proofgen viperproject/boogie-proofgen Public

   Boogie 3

4. viperproject/foundational-boogie viperproject/foundational-boogie Public

   Isabelle 5

5. viperproject/viper-roots viperproject/viper-roots Public

   Isabelle 2

6. setup-isabelle setup-isabelle Public

   GitHub action to set up Isabelle