rchurchley / erdos-bacon-sabbath
An open-source celebration of creative academics & academic creatives
☆12Updated 7 years ago
Alternatives and similar repositories for erdos-bacon-sabbath
Users that are interested in erdos-bacon-sabbath are comparing it to the libraries listed below
Sorting:
- DeepAlgebra☆25Updated 7 years ago
- Metamath verifier in Python☆38Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Learn Lean and topology☆21Updated 2 years ago
- The Average Novel☆10Updated 7 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- chrome extension for making custom string replacement rules, a la cloud-to-butt with regex☆8Updated 8 years ago
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 9 years ago
- ☆23Updated 2 years ago
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Two-dimensional esolang. WIP, please contribute☆9Updated 7 years ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- Tim Button's open textbook on set theory☆34Updated last year
- A six-panel artistic rendition of Alan Turing☆20Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Code for my blog post on Generating Words from Embeddings☆23Updated 9 months ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- things that don't deserve their own repo☆64Updated last month
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Literate coq blog posts☆17Updated 9 years ago
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆17Updated 6 years ago
- A semantic Extension of TeX/LaTeX☆52Updated this week
- Formalization of category theory in Agda☆15Updated 2 years ago