proofs/NectarDriver/Traits.v


1
2
3
4
5
6
7
8
9
10

(*
    NectarDriver: Traits keyword.

    The Traits keyword defines formal semantic rules associated with a specific identifier N.

    Author: Amlal El Mahrouss
    Formalization: January 2026
*)

Require Import Logic.Classical_Prop.