Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Issues
#716
micro-Python: add slice assignment
Add support for slice assignment, that is,
e1[e2:e3] = e4
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information