-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
W1-7f: Generic decode_at_offset lemma to reduce boilerplate
persona:demouraLeonardo de Moura - Lean CriticLeonardo de Moura - Lean Criticwave-1Wave 1: Consolidate FoundationsWave 1: Consolidate FoundationsStatus: Open.#13 In arademaker/bignum;W1-7: Review Wave 1 for Lean idiomaticity
persona:demouraLeonardo de Moura - Lean CriticLeonardo de Moura - Lean Criticwave-1Wave 1: Consolidate FoundationsWave 1: Consolidate FoundationsStatus: Open.#7 In arademaker/bignum;