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☆50Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated last week
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- 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
- Repository for the QED interactive text and possible extensions☆97Updated 3 months ago
- Theorem proving in Lean☆49Updated 6 months ago
- Archived materials related to Homotopy Type Theory.☆10Updated 13 years ago
- HoTT in Lean 3☆80Updated 4 years ago
- A formal proof of the independence of the continuum hypothesis☆124Updated 8 months ago
- Pandoc filter to convert math to SVG using MathJax-node's tex2svg☆20Updated 8 years ago
- Categorical Logic Notes☆78Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- ☆38Updated last year
- Enter Unicode characters using LaTeX notation☆94Updated last year
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆166Updated 6 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 12 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- An Open Encyclopedia of Proof Systems☆117Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆49Updated 3 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆197Updated last week
- Mathematical notes and papers☆26Updated last week
- Let's translate works of Grothendieck☆24Updated 5 years 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 last month
- Theorem Proving in Lean 4☆178Updated 6 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 3 years ago
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago