GitHub repository: pirapira/dry-analyzer
Primary language: Coq
Created: 2016-09-02T20:32:47Z
Description: Dr. Y's Ethereum Contract Analyzer