New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

[meta] Translate the std crate #482

Open

clarus opened this issue Mar 22, 2024 · 0 comments

Labels

Collaborator

clarus commented Mar 22, 2024 •

edited

Loading

See the #479 issue for a description replacing alloc by std!

The text was updated successfully, but these errors were encountered:

clarus changed the title t Translate the std crate

clarus added the rust library label

clarus added this to coq-of-rust Sprints

clarus moved this to Backlog in coq-of-rust Sprints

clarus changed the title ~~Translate the std crate~~ [meta] Translate the std crate

clarus moved this from Backlog to Ready in coq-of-rust Sprints

# for free to join this conversation on GitHub. Already have an account? # to comment