search

viperproject / silver

Definition of the Viper intermediate verification language.
Mozilla Public License 2.0
78 stars 40 forks source link

Advanced Logical Proofs #775

Closed ArquintL closed 3 months ago

ArquintL commented 6 months ago

Replaces PR #673

ArquintL commented 3 months ago

superseded by #785