pierrevial
commented
2 years ago - case_analysis has been cleaned-up, with optimized functions, mostly linear or tail-recursive
- the specification of most functions of case_analysis.v is now given
- utilities has also been a bit reorganized
- specifying small todo's in the files