A semantic Extension of TeX/LaTeX
☆56Feb 16, 2026Updated 2 weeks ago
Alternatives and similar repositories for sTeX
Users that are interested in sTeX are comparing it to the libraries listed below
Sorting:
- ☆22Jan 29, 2021Updated 5 years ago
- The MMT Language and System☆80Sep 7, 2025Updated 5 months ago
- Write formal proofs in natural language and LaTeX.☆46Dec 18, 2025Updated 2 months ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- Logical Verification 2022-2023 course at VU Amsterdam☆18Jan 27, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- The coolest package manager and deployment tool.☆18Dec 15, 2017Updated 8 years ago
- ☆16Jun 22, 2024Updated last year
- Python-based domain-specific language for computational magnetism.☆13Feb 23, 2026Updated last week
- CLUCalcSource-4.3.3 original GPL source code, released in 2005 on www.clucalc.info by Christian Perwass☆12Jul 20, 2014Updated 11 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Sep 4, 2024Updated last year
- ☆13Sep 10, 2021Updated 4 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Multinomials for the Mathematical Components library.☆16Updated this week
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆17Apr 2, 2017Updated 8 years ago
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 5 years ago
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 2 months ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- My dotfiles☆13Jan 24, 2026Updated last month
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Mar 2, 2021Updated 5 years ago
- The Common Lisp Vim IDE☆20Mar 6, 2010Updated 15 years ago
- Visualize the proportion of results for a given PubMed search over time and compare searches to one another!☆16Feb 17, 2023Updated 3 years ago
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Lean Library currently studying for a degree at Imperial College☆229Feb 14, 2025Updated last year
- Finer control of the Obsidian sidebars. To be used with an external window manager.☆13Feb 20, 2023Updated 3 years ago
- Emacs mode for Lean☆68Jun 11, 2023Updated 2 years ago
- Generate the necessary data for Linked Data Vocabularies.☆25Oct 23, 2023Updated 2 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 6 years ago
- ☆15Oct 24, 2017Updated 8 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- ☆16Jan 4, 2021Updated 5 years ago
- GluCat: Clifford algebra templates☆22Feb 16, 2026Updated 2 weeks ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago