Mentions légales du service

Skip to content

Cert prop

Quentin Garchery requested to merge cert_prop into cert

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

Merge request reports