Creusot 0.11.0: VerifyThis winner
Summary
New website, our trip to ETAPS 2026, and one lesson: collections should not be iterators.
Description
New website, our trip to ETAPS 2026, and one lesson: collections should not be iterators.
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source