sonoisa / XyJax
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
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Theorem proving in Lean☆49Updated 5 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Easy insertion of unicode math symbols☆49Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆56Updated last month
- Jupyter kernel for Coq☆95Updated 7 months ago
- Repository for the QED interactive text and possible extensions☆97Updated 2 months ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆166Updated 5 months ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Python package to convert LaTeX markup to DOM☆14Updated 2 months ago
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- Enter Unicode characters using LaTeX notation☆94Updated last year
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆29Updated last year
- HoTT in Lean 3☆79Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- A DSL for the internal language of a topos☆64Updated this week
- Categorical Logic Notes☆78Updated 3 years ago
- XeLaTeX で和文する実験☆14Updated 2 years ago
- Render tikzcd diagrams with JSX.☆59Updated 5 years ago
- Synchronization for TeX☆75Updated 3 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 2 weeks ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- A LaTeX parser, a BibTeX parser, and utilities.☆43Updated 2 months ago
- A cyclic theorem prover framework.☆32Updated 2 weeks ago
- A formal proof of the independence of the continuum hypothesis☆123Updated 7 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago