rchurchley / erdos-bacon-sabbath
An open-source celebration of creative academics & academic creatives
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for erdos-bacon-sabbath
- DeepAlgebra☆25Updated 7 years ago
- A community database of topological counterexamples☆72Updated this week
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Backend map and tile generation and webserver for the Paperscape map☆46Updated 6 years ago
- ☆21Updated 2 years ago
- An encyclopedia of proofs☆57Updated last week
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆44Updated 6 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆27Updated 7 months ago
- Random notes on mathematics (in German)☆11Updated 2 months ago
- Learn Lean and topology☆20Updated last year
- MiniZinc documentation☆16Updated last year
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 5 months ago
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- A comprehensive graph of mathematical domains and topics☆20Updated 2 years ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- Markdown -> IPython conversion tool☆15Updated 9 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆14Updated 3 weeks ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆60Updated 11 months 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…☆20Updated 2 months ago
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Quacee quantum computing language☆11Updated 7 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month