Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Lean prover"”.
-
Formalizing Clifford algebras and related constructions in the Lean theorem prover
… It does so via the theorem proving language “Lean”, which is seeing increasing adoption in mathematics departments. The focus is much broader than simply formalizing Clifford algebras; Lean has an expansive and monolithic library of formalized mathematics, mathlib, which the author made …