ocfnashlie-classification

Classification of Lie algebras in Lean
No README.md in repository.