opencompl / lean-gapLinks

An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
15Updated 3 years ago

Alternatives and similar repositories for lean-gap

Users that are interested in lean-gap are comparing it to the libraries listed below

Sorting: