Popular repositories Loading

1. algebraic-combinatorics algebraic-combinatorics Public

   Forked from facebookresearch/algebraic-combinatorics

   Automatic textbook formalization of Grinberg Algebraic Combinatorics

   HTML 12

2. simp-sheaves simp-sheaves Public

   Bachelor thesis on simplicial sheaf categories.

   TeX 2

3. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean 2

4. rl2048 rl2048 Public

   Python 2

5. geomds geomds Public

   Predicting Altzheimer's Disease from Corpus Callosum Shapes

   HTML 2

6. loom loom Public

   Forked from verse-lab/loom

   Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

   Lean 1