rchurchley / erdos-bacon-sabbath
An open-source celebration of creative academics & academic creatives
☆11Updated 6 years ago
Related projects: ⓘ
- DeepAlgebra☆25Updated 6 years ago
- A semantic Extension of TeX/LaTeX☆49Updated last week
- ☆15Updated last year
- ☆18Updated this week
- multilingual dictionary of mathematical terminology☆19Updated last month
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Tim Button's open textbook on set theory☆30Updated 11 months ago
- Metamath verifier in Python☆35Updated 5 months ago
- ☆20Updated 2 years ago
- ☆10Updated this week
- Haskell bindings to SymEngine☆25Updated last year
- Tools for managing the TeX sources of the Stacks project☆14Updated 3 months ago
- Formalization of category theory in Agda☆13Updated last year
- See https://github.com/sagemathinc/smc instead!☆22Updated 5 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated 2 weeks ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- A community database of topological counterexamples☆72Updated this week
- An encyclopedia of proofs☆56Updated 2 years ago
- ☆17Updated this week
- Textbook on metalogic based on the Open Logic Project☆36Updated 9 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last month
- Command-line recursive question-answering with immutable contexts and explicit data store☆24Updated 5 years ago
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- Primary implementation of the Venture probabilistic programming system☆29Updated 4 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆19Updated 2 weeks ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆128Updated 10 years ago
- ☆11Updated last year
- Learn Lean and topology☆17Updated last year
- Research Debt☆25Updated 6 years ago
- A system for computational category theory and applications☆35Updated 8 years ago