Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
15281147
Topic
949942
Board
Development & Technical Discussion
Re: Ledger Theory Coq Development
by
kanzure
on
19/06/2016, 16:41:08 UTC
Above hyperlink is 404, an alternative link seems to be
https://github.com/bitemyapp/ledgertheory