Proof Abbreviations and Acronyms

  1. AH
    Advanced Horizontal
  2. ATPS
    Automated Theorem Proders
  3. BHK
    Brouwer-Heyting-Kolmogorov
  4. CFFG
    Casper The Friendly Finality Gadget
  5. CIC
    Calculus of Inductive Constructions
  6. CPCT
    Corresponding Parts of Congruent Triangles
  7. CPCTC
    Corresponding Parts of Congruent Triangles Are Congruent
  8. CPDT
    Certified Programming With Dependent Types
  9. CPM
    Central Processing Modules
  10. CPP
    Client Puzzle Protocol
  11. DC
    Deep Cameo
  12. DDCP
    Direct Digital Color Proofing
  13. DN
    Double Negation
  14. DT
    Deduction Theorem
  15. DU
    Dangerous, Undetected
  16. DU
    Dangerous Undetected
  17. ECBP
    Evijah Craig Barrel Proof
  18. EG
    Existential Generalization
  19. FILL
    Full Intuitionistic Linear Logic
  20. FLT
    Fermat'S Last Theorem

Last updated: — Total entries: 55