sonoisa / XyJaxLinks
Xy-pic extension for MathJax
☆62Updated 4 years ago
Alternatives and similar repositories for XyJax
Users that are interested in XyJax are comparing it to the libraries listed below
Sorting:
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Enter Unicode characters using LaTeX notation☆94Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- A DSL for the internal language of a topos☆64Updated last week
- Theorem proving in Lean☆49Updated 8 months ago
- Repository for the QED interactive text and possible extensions☆102Updated 5 months ago
- Jupyter kernel for Coq☆95Updated 10 months ago
- Metamath verifier in Python☆40Updated last month
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 9 months ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- Archived materials related to Homotopy Type Theory.☆11Updated 13 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Haskell bindings to SymEngine☆26Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 10 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- The mathematical study of type theories, in univalent foundations☆116Updated 5 months ago
- The Boole Interactive Reasoning Assistant☆28Updated 11 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆129Updated 10 months ago
- FreeTikZ☆37Updated 7 years ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago