ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
18,511 Commits 65 Branches 1 Tag
master
Commit Graph

3 Commits

Author SHA1 Message Date
Jean-Christophe Filliatre
3e5786b626 binary_search coma: lo <= hi is an invariant 2024-10-10 14:19:22 +02:00
Jean-Christophe Filliatre
ddec251ca7 coma binary_search: alternative version without let 2024-10-10 09:21:37 +02:00
Jean-Christophe Filliatre
44896456ad coma example: binary search 2024-10-09 19:09:20 +02:00