Popular repositories Loading

1. hello-world hello-world Public

   HTML

2. M2 M2 Public

   Forked from Macaulay2/M2

   The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

   Macaulay2

3. computational-algebra computational-algebra Public

   Forked from konn/computational-algebra

   General-Purpose Computer Algebra System as an EDSL in Haskell

   HTML

4. ideal-membership ideal-membership Public

   Attempts to use lean for proof-checking.

   Lean