Open Issues Need Help
View All on GitHub help wanted area:verified-core proof
enhancement help wanted area:verified-core proof
Proof + unit-test package: bal_canonical_sort ordering and permutation (self-contained) about 1 month ago
help wanted area:codegen proof
Proof: semantic specs for the 5 RlpWalk routines (correspondence done, specs missing) about 2 months ago
enhancement help wanted area:verified-core proof
Proof: compose the 4 block lemmas into a whole-routine spec for WithdrawalDecodeClose (blocks proven, composition missing) about 2 months ago
enhancement help wanted area:verified-core proof
enhancement good first issue
enhancement good first issue
bug good first issue
Add a ci check against never-imported lean files 5 months ago
enhancement good first issue
Import hygiene sweep via lake exe shake 5 months ago
enhancement good first issue
refactoring: Local variables that rename lemmas 5 months ago
enhancement good first issue
enhancement good first issue
replace existing native_decide 6 months ago
bug good first issue