drhodes
Follow
-
-
-
-
-
-
-
-
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedSep 25, 2024 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedSep 11, 2024 -
-
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 4, 2024 -
-
aata Public
Forked from twjudson/aataPublic repository for Abstact Algebra Theory and Applications
TeX Other UpdatedAug 1, 2024 -
-
spaCy Public
Forked from explosion/spaCy💫 Industrial-strength Natural Language Processing (NLP) in Python
Python MIT License UpdatedJul 29, 2024 -
osbooks-college-algebra-bundle Public
Forked from openstax/osbooks-college-algebra-bundletranslation experment for openstax math
Creative Commons Attribution 4.0 International UpdatedJul 6, 2024 -
osbooks-calculus-bundle Public
Forked from openstax/osbooks-calculus-bundleOther UpdatedJun 4, 2024 -
tutorials4 Public
Forked from leanprover-community/tutorials4Lean 4 tutorial files
Lean Apache License 2.0 UpdatedMay 3, 2024 -
plfl Public
Forked from rami3l/plflLearn Lean 4 with PLFA proofs.
Lean MIT License UpdatedMay 2, 2024 -
-
latex2edx Public
Forked from mitocw/latex2edxlatex2edx system for creating edX courses
Python GNU Affero General Public License v3.0 UpdatedFeb 16, 2024 -
-
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedFeb 9, 2024 -
-
-
set-game Public
Forked from hugosaintemarie/set-gameSet – Visual card game
JavaScript UpdatedOct 25, 2023 -
mitxonline Public
Forked from mitodl/mitxonlinePython BSD 3-Clause "New" or "Revised" License UpdatedSep 29, 2023 -
jupyter-wolfram Public
setup tools for running wolfram engine in jupyter
Makefile UpdatedAug 28, 2023 -
-
IBL-AbstractAlgebra Public
Forked from dcernst/IBL-AbstractAlgebraIBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
TeX UpdatedAug 17, 2023