YellPika / vscode-latex-input
LaTeX-style unicode input for Visual Studio Code
☆11Updated last year
Alternatives and similar repositories for vscode-latex-input:
Users that are interested in vscode-latex-input are comparing it to the libraries listed below
- Easy insertion of unicode math symbols☆49Updated 2 years ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- The formal proof of the Odd Order Theorem☆30Updated last week
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆29Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Generate HTML documentation for mathlib and Lean☆21Updated 7 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Mirror of ocaml-forester☆44Updated 10 months ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆18Updated 3 weeks ago
- ☆23Updated 2 years ago
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last month
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆75Updated this week
- Schemes in Lean (v2)☆43Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials☆11Updated 2 weeks ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- HoTT in Lean 3☆80Updated 4 years ago