Cert prop
Complete the separation of terms and formulas which allows for a deep representation of ctasks following the CoC encoding inside lambdapi.
Complete the separation of terms and formulas which allows for a deep representation of ctasks following the CoC encoding inside lambdapi.