| | Getting Started with Z3 (rise4fun.com) |
|
3 points by tosh on June 9, 2021 | past
|
|
| | Getting Started with Dafny (rise4fun.com) |
|
2 points by QuinnWilton on Oct 31, 2020 | past
|
|
| | Get Started with Dafny: Language and Program Verifier for Functional Correctness (rise4fun.com) |
|
2 points by federicoponzi on July 29, 2020 | past
|
|
| | Getting Started with Dafny: A Guide (rise4fun.com) |
|
1 point by jasim on June 16, 2019 | past
|
|
| | Microsoft Research's community of software engineering tools (rise4fun.com) |
|
29 points by quazar on Feb 16, 2019 | past | 1 comment
|
|
| | [dupe] Z3 Theorem Prover Interactive Tutorial (rise4fun.com) |
|
5 points by aduffy on March 14, 2017 | past | 1 comment
|
|
| | Rise4fun (rise4fun.com) |
|
4 points by aduffy on March 14, 2017 | past
|
|
| | Z3 SMT solver interactive tutorial (rise4fun.com) |
|
114 points by vmorgulis on Aug 27, 2016 | past | 14 comments
|
|
| | Getting Started with Z3: A Guide (rise4fun.com) |
|
3 points by weinzierl on Aug 2, 2015 | past
|
|
| | TS*: Gradual Typing Embedded Securely in JavaScript (rise4fun.com) |
|
2 points by jongalloway2 on April 25, 2014 | past
|
|
| | Prove specifications about your programs using Dafny in this in browser tutorial (rise4fun.com) |
|
1 point by arjunnarayan on April 10, 2014 | past
|
|
| | Rise4fun (rise4fun.com) |
|
1 point by sytelus on Sept 17, 2013 | past
|
|
| | Koka - A programming language with effect inference (rise4fun.com) |
|
6 points by freyrs3 on July 10, 2013 | past
|
|
| | Research in Software Engineering (RiSE) for Fun (rise4fun.com) |
|
1 point by gjenks on April 15, 2013 | past
|
|
| | Koka - a function oriented language with effect inference (rise4fun.com) |
|
3 points by fabriceleal on March 16, 2013 | past
|
|
| | Koka: function-oriented language with automatic (side) effect inference (rise4fun.com) |
|
2 points by primodemus on Aug 8, 2012 | past
|
|
| | New Python API for the Z3 theorem prover. Examples: Sudoku, kinematics, etc. (rise4fun.com) |
|
1 point by leodemoura on May 25, 2012 | past
|
|
| | Rise4fun - from Microsoft Research (rise4fun.com) |
|
134 points by ot on April 12, 2012 | past | 40 comments
|
|
| | See static analysis tools in your browser (rise4fun.com) |
|
3 points by Darmani on Jan 12, 2012 | past
|
|
| | Programming in F* (rise4fun.com) |
|
1 point by powertower on Oct 7, 2011 | past
|
|
