creusot-rs creusot Help · Discussions · GitHub

Cleaning up code & architecture
Ideas xldenis

Sort by: Latest activity

Categories

Community guidelines

Help Discussions

Ask for help doing proofs with Creusot

You must be logged in to vote

Dyn traits are unimplemented

the-ssd asked Dec 3, 2024 in Help · Closed · Unanswered

1
You must be logged in to vote

Cannot prove 02_linear_search.rs

southball asked Apr 16, 2024 in Help · Answered

1
You must be logged in to vote

Help with Zip iterator

boulme asked Sep 19, 2023 in Help · Answered

10
You must be logged in to vote

Help with the predefined seq.reverse and seq.subsequence

boulme asked Sep 17, 2023 in Help · Answered

8
You must be logged in to vote

Help proving implementation of kmeans

nilehmann asked Mar 31, 2023 in Help · Closed · Unanswered

5
You must be logged in to vote

Ada-like library contracts

fenollp asked Mar 12, 2023 in Help · Answered

1
You must be logged in to vote

Postconditiosn on FnOnce closures

xldenis asked Feb 27, 2023 in Help · Unanswered

1
You must be logged in to vote

Can this be used to test C code (CFFI)?

Ragarnoy asked Oct 17, 2022 in Help · Unanswered

1