Pinned Loading

1. verifactory verifactory Public

   A verifier for Factorio blueprints, enabling one to automatically check logical properties

   Rust 39 3

2. pancake-verifier pancake-verifier Public

   A static verifier for Pancake, based on the Viper verification infrastructure.

   Rust 2 1