| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 20139 | logplainabout |
| -rw-r--r-- | Main.lean | 605 | logplainabout |
| -rw-r--r-- | README.md | 10 | logplainabout |
| -rw-r--r-- | class-change.png | 670549 | logplainabout |
| -rw-r--r-- | dafny-vs-lean.jpg | 240205 | logplainabout |
| -rw-r--r-- | dafny-vs-lean2.jpg | 225038 | logplainabout |
| -rw-r--r-- | index.html | 565 | logplainabout |
| -rw-r--r-- | lean.jpg | 170705 | logplainabout |
| -rw-r--r-- | lean.png | 126455 | logplainabout |
| -rw-r--r-- | proglang.png | 656299 | logplainabout |
| -rw-r--r-- | twostate.png | 31621 | logplainabout |
| -rw-r--r-- | who-would-win.png | 1620219 | logplainabout |
 |
index : leansite | |
| Made using the best language ever | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |
