planetmath / fem2016
2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
☆17Updated 9 years ago
Alternatives and similar repositories for fem2016:
Users that are interested in fem2016 are comparing it to the libraries listed below
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Using parsec☆9Updated 5 years ago
- Superposition prover☆17Updated 2 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆17Updated last week
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- Javascript interpreters featuring web workers☆38Updated 8 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 9 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Homebrew tap for GAP☆14Updated 10 months ago
- ☆36Updated 7 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- Various Futhark benchmark programs☆42Updated 3 weeks ago
- Learn Lean and topology☆21Updated last year
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- The Sweet.js Term specification☆10Updated 7 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- lean-related presentations☆16Updated last year
- An Efficient JavaScript Unification Library☆19Updated 10 years ago
- Print an image of a cat to the iTerm2 terminal☆15Updated 8 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago