HOL icon indicating copy to clipboard operation
HOL copied to clipboard
verified publisher icon HOL-Theorem-Prover

Lie Algebra

Open michael-roe opened this issue 1 year ago • 1 comments

In examples/algebra, we could also define what a Lie Algebra is.

(A vector space with a bracket operator op that is bilinear, alternating, and satisfies the Jacobi identity)

michael-roe avatar Dec 08 '24 12:12 michael-roe

Happy to see a PR along these lines!

mn200 avatar Dec 09 '24 01:12 mn200