-I .
-R . MiniCalc

Parser.v
Lexer.v
MiniCalc.v
