-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
<!DOCTYPE html>
<link rel="stylesheet" href="style.css" type="text/css">
<title>LEAN FAN SITE</title>
<h1>LEAN FAN SITE</h1>
<img src="/lean-anime.jpg"><img src="/proglang.png"><img src="/lean-tactics.png"><img src="/purity.png"><img src="/proglangs.jpg"><img src="/imax.jpg"><img src="/switch.jpg"><img src="/bad-apple.png"><img src="/lean-hands.png"><img src="/donotlean.jpg"><img src="/lean-inside.jpg"><img src="/lean-board-game.jpg"><img src="/operator.png"><img src="/universes.png"><img src="/lean-junk.png"><img src="/worksheet.jpg"><img src="/lean-box.jpg"><img src="/lean-sign.jpg"><img src="/flt.png"><img src="/lean-phone.png"><img src="/fbip.jpg"><img src="/discrimination.png">
<h2>Don't use Dafny, <a href="https://github.com/dafny-lang/dafny/pull/6208">it's (still) unsound!</a></h2>
<img src="/who-would-win.jpg"><img src="/class-change.png"><img src="/flt-dafny.png">
<h2>Other proof assistants</h2>
<img src="/ProofGeneral-image.jpg"><img src="/proof-cafe.jpg"><img src="/coq.png"><img src="/coq-bunny.jpg"><img src="/coq-gun.jpg">
<p><a href="/Main.lean">Made using the best language ever!</a></p>
<p>Not all images are mine. Please don't sue me.</p>