Popular repositories Loading

1. Hypergraph-Programs Hypergraph-Programs Public

   Characteristic Polynomial, Hypergraph Programs, Sagemath 9.7, Macaulay 2

   Jupyter Notebook 1

2. binary_trees_and_tanglegrams binary_trees_and_tanglegrams Public

   Sagemath programs related to rooted binary trees and tanglegrams

   Jupyter Notebook

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. lean-challenges lean-challenges Public

   TypeScript

5. Matroid Matroid Public

   Forked from apnelson1/Matroid

   Matroid Theory

   Lean

6. lean-eval-leaderboard lean-eval-leaderboard Public

   Forked from leanprover/lean-eval-leaderboard

   Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)

   Lean