GitHub - mpenciak/symplectic_groups: Lean 3 formalization of Sp 2n R

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
src		src
.gitignore		.gitignore
leanpkg.toml		leanpkg.toml

About

Lean 3 formalization of Sp 2n R

Report repository

Releases

No releases published

Packages

Contributors 2

Languages

Lean 100.0%