anton-petrunin / birkhoffLinks
Euclidean plane and its relatives; a minimalist introduction.
☆18Updated 3 weeks ago
Alternatives and similar repositories for birkhoff
Users that are interested in birkhoff are comparing it to the libraries listed below
Sorting:
- A program for drawing knots and links, with support for importing images☆32Updated last year
- ☆20Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Open textbook on modal logic☆23Updated 2 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- Mathematical notes and papers☆26Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Lazy Lists package for Wolfram Language☆15Updated last month
- Tag-based webview of LaTeX documents☆31Updated last year
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- multilingual dictionary of mathematical terminology☆20Updated 2 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 4 months ago
- Deposited packages of the homalg project☆16Updated 3 weeks ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 8 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Arete is an experimental programming language.☆12Updated last year
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆44Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- A heuristic procedure for proving inequalities☆33Updated 7 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago