Pinned Loading

1. posets posets Public

   GAP Package for posets and finite spaces

   GAP 5 1

2. combinatorial_nullstellensatz combinatorial_nullstellensatz Public

   A Lean formal proof of the Combinatorial Nullstellensatz

   Lean 10

3. smallcancellation smallcancellation Public

   Metric and nonmetric small cancellation conditions

   GAP 2 1

4. g2comp g2comp Public

   Equivariant 2-complexes

   GAP 2