Submissions from rise4fun.com

		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

HN For You