Added generators for lemma's

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

3 stars 6 forks source link

Closed RenateEilers closed 5 years ago

RenateEilers commented 5 years ago