Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

rise4fun can't open now,is there any backup link? #1344

Open
Aaron-clou opened this issue Aug 10, 2021 · 1 comment
Open

rise4fun can't open now,is there any backup link? #1344

Aaron-clou opened this issue Aug 10, 2021 · 1 comment
Assignees
@robin-aws
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: cleanup Cleanups in the implementation or in corners of the language

Comments

@Aaron-clou
Copy link

can't open rise4fun website, I want to read the dafny tutorial on rise4fun. Is it in a maintenance? or can send me the tutorial?
@RustanLeino
Copy link
Collaborator

Rise4fun has had many problems. I emailed someone who emailed someone who may be able to fix the current state.

As for the tutorial, here is the printed version of the tutorial that's on rise4fun. And here is an alternative tutorial. I would also recommend the four videos and other material available from Dafny documentation site.

@robin-aws robin-aws self-assigned this Sep 21, 2021
@robin-aws robin-aws added kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label misc: cleanup Cleanups in the implementation or in corners of the language kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny labels Sep 22, 2021
@robin-aws robin-aws mentioned this issue Sep 27, 2021
Merged
@keyboardDrummer keyboardDrummer removed the kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label label Feb 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robin-aws robin-aws

Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: cleanup Cleanups in the implementation or in corners of the language
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@keyboardDrummer @RustanLeino @robin-aws @Aaron-clou