#!/bin/bash

echo "* Statistic "
echo " "
echo -n "  ** Total lines of code : " 
find ./ -name '*.v' | xargs grep -v '^$' | wc -l
echo -n "  ** Total number of definitions : "
find ./ -name '*.v' | xargs grep -E '(Definition|Fixpoint)' | wc -l
echo -n "  ** Total number of lemmas/theorems : "
find ./ -name '*.v' | xargs grep -E '(Lemma|Theorem)' | wc -l

