Pith. sign in

IndisputableMonolith.Gravity.SevenGaps.Gap2ExactClassCarrierAttackAudit

IndisputableMonolith/Gravity/SevenGaps/Gap2ExactClassCarrierAttackAudit.lean · 15 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import IndisputableMonolith.Gravity.SevenGaps.Gap2ExactClassCarrierAttack
   2
   3namespace IndisputableMonolith
   4namespace Gravity
   5namespace SevenGaps
   6namespace Gap2ExactClassCarrierAttack
   7
   8#check superseded_by_enriched_carrier
   9#print axioms superseded_by_enriched_carrier
  10
  11end Gap2ExactClassCarrierAttack
  12end SevenGaps
  13end Gravity
  14end IndisputableMonolith
  15

source mirrored from github.com/jonwashburn/shape-of-logic