Alternatives and similar repositories for theoremkb

Users that are interested in theoremkb are comparing it to the libraries listed below

• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆26Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 2 months ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• SeerLabs / pdfmef
  Multi-Entity Extraction Framework for Academic Documents (with default extraction tools)
  ☆31Updated last year
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• kornai / 4lang
  Concept dictionary
  ☆38Updated last year
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last month
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆20Updated 2 years ago
• mseri / doi2bib
  Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)
  ☆60Updated 2 weeks ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated 2 weeks ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated 2 months ago
• kermitt2 / biblio-glutton
  A high performance bibliographic information service: https://biblio-glutton.readthedocs.io
  ☆139Updated last month
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆11Updated 5 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated 3 weeks ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆62Updated 8 months ago
• ontolex / ontolex
  Ontolex modules
  ☆33Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 14 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆17Updated 7 months ago
• michmech / chitchat
  A Grammatical Framework application grammar for casual coffee-break conversations
  ☆9Updated 6 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last month
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆24Updated 3 weeks ago