Duper explorations

• Basic.lean
• CliffordAlgebra.lean

#eval
"4.32.0" 
Lean.versionString: String
Lean.versionString

#eval
"4.32.0" 
Lean.versionStringCore: String
Lean.versionStringCore

#eval
"leanprover/lean4:4.32.0" 
Lean.toolchain: String
Lean.toolchain

#eval
"leanprover/lean4" 
Lean.origin: String
Lean.origin

#eval
"8c9756b28d64dab099da31a4c09229a9e6a2ef35" 
Lean.githash: String
Lean.githash