Client Proof Assistant
Une lecture client claire : verdict, receipts, unité réelle, certificat et prochaine action.
Chargement...
Receipts présents
Receipts manquants
Unit language
Les unités réelles indiquent ce qui est né ou non après le NON. Joules / heat / cycles sans mesure externe restent proxy-only.