Code civil (France)Le Code civil des Français, appelé usuellement « Code civil » (souvent abrégé en « C.civ. », « C. Civ. » ou « CC »), « Code Napoléon » ou encore « Code napoléonien », est un code juridique qui regroupe les lois relatives au droit civil français, c’est-à-dire l'ensemble des règles qui déterminent le statut des personnes (livre ), celui des biens (livre II) et celui des relations entre les personnes privées (livres III et IV). Promulgué le (), par Napoléon Bonaparte, il reprend une partie des articles de la coutume de Paris et du droit écrit du Sud de la France.
Contrat en droit anglaisEn droit anglais, le contrat est une promesse ou un accord réalisé sur un ensemble de promesses. La rupture d'un contrat est reconnue par le droit, et des remèdes juridiques peuvent y être apportés. Le contrat consensuel (simple contract) est dominé par le principe de la consideration qui n'admet pas de contrat à titre gratuit. L'onérosité est ainsi un élément essentiel à la formation du contrat, pour laquelle il faut une contrepartie à une promesse, qu'il s'agisse d'un paiement ou d'une prestation réciproque.
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
