Fohn Labs
Popular repositories Loading
-
even-cycle-stacking
even-cycle-stacking PublicConstructive candidate proof for even-cycle graph stacking, reproducible move checkers, and a partial Lean formalization.
Lean
-
covering-code-K20-3
covering-code-K20-3 PublicK(20,3) <= 1792: an explicit binary covering code of length 20 and covering radius 3 with 1792 words, with an exact verifier
Python
Repositories
- covering-code-K20-3 Public
K(20,3) <= 1792: an explicit binary covering code of length 20 and covering radius 3 with 1792 words, with an exact verifier
- even-cycle-stacking Public
Constructive candidate proof for even-cycle graph stacking, reproducible move checkers, and a partial Lean formalization.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…