Pinned Loading

1. viperproject/carbon viperproject/carbon Public

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

   Scala 33 23

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

   Scala

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

   Boogie 5 2

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

   Isabelle 5

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

   Isabelle 4 1

6. setup-isabelle setup-isabelle Public

   GitHub action to set up Isabelle