abetten / orbiter

Related projects ⓘ

Alternatives and complementary repositories for orbiter

• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last month
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆58Updated this week
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• mkauers / ore_algebra
  ☆29Updated last month
• b-mehta / unit-fractions
  ☆14Updated 11 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆51Updated this week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 5 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆13Updated this week
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆67Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆24Updated last week
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated 9 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• thery / coqprime
  Prime numbers for Coq
  ☆37Updated this week
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆36Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆22Updated 4 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆53Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated last month
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆56Updated 2 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆39Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆89Updated this week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆43Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆62Updated last year
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆27Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆17Updated last year
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week