summaryrefslogtreecommitdiff
path: root/Verification (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-04-23feat: close `find` / `insert` proofsRaito Bezarius6-0/+577
After a complete 180 with the Order theory, we close the goals of find and insert and we give an example of U32 order that we will upstream to Aeneas directly. Signed-off-by: Raito Bezarius <masterancpp@gmail.com>