Duper explorations

• Basic.lean
• CliffordAlgebra.lean

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

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

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

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

#eval
"128a1e6b0a82718382f9c39c79be44ff3284547c" 
Lean.githash: String
Lean.githash