RahimACM/Compil

A syntaxic parser of an arithmetic expression using LEX and YACC, arithmetic expression evaluator with additional functions often used in expression evaluators and we are considering a part where the operands are non known and if the input expression is syntactically correct, to generate an intermediate form in the form of quadruplets and save it to an output file.

Coq