research
∙
06/01/2023
Multiple-inheritance hazards in dependently-typed algebraic hierarchies
Abstract algebra provides a large hierarchy of properties that a collect...
share
research
∙
10/07/2021
Formalizing Geometric Algebra in Lean
This paper explores formalizing Geometric (or Clifford) algebras into th...
research
∙
08/10/2021
Scalar actions in Lean's mathlib
Scalar actions are ubiquitous in mathematics, and therefore it is valuab...
research
∙
06/18/2020