LEAN FAN SITE

Don't use Dafny, it's (still) unsound!

Other proof assistants

Made using the best language ever!

Not all images are mine. Please don't sue me.