| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | remove outdated files: roadmap and to_gallina |  Andres Erbsen | 2016-11-15 |
| | | |||
| * | Added roadmap of long term goals and current subtasks. |  Jade Philipoom | 2015-11-29 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |
path: root/roadmap.md