-
-
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 -
-
-
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 -
-
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 -
-
-
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 -
-
-
-
-
-
-
-
-
-
{{ message }}