_CoqProject

-I ../fiat/src/Common/Tactics
-R ./ Fiat_matrix
-R ../fiat/src/ Fiat
-install none

Matrix.v
MatrixLemmas.v
MatrixInversion.v

SparseMatrix.v
DenseMatrix.v
DenseMatrixOpt.v

FiatHelpers.v
MyHelpers.v
optimize_ADT.v
Kalman.v
AlphaBeta.v
Perceptron.v
KalmanExtraction.v