Duper explorations

• Basic.lean
• CliffordAlgebra.lean

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

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

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

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

#eval
"ec3042d94bd11a42430f9e14d39e26b1f880f99b"
 
Lean.githash: String
Lean.githash