GitHub repository: levtea/coqchain
Primary language: Go
Description: fork from go-ethereum, and posa consensus, slash etc improve for applications