GitHub repository: tm507211/CoqPerceptron
Primary language: Haskell
Created: 2016-03-06T04:24:22Z
Description: Verified Coq Implementation of the Perceptron Algorithm