/verified-max-subarray

A homework assignament for the "Software Verification and Validation" course at UPB.

Primary LanguageDafnyGNU General Public License v3.0GPL-3.0

No issues in this repository yet.