Alternatives and similar repositories for theoremkb

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

• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated 2 months ago
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 14 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated last year
• 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 this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆62Updated 9 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆112Updated last week
• kermitt2 / biblio-glutton
  A high performance bibliographic information service: https://biblio-glutton.readthedocs.io
  ☆140Updated last month
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆59Updated 3 years ago
• meta-logic / coq-ll
  Formalization of Linear Logic in Coq
  ☆16Updated 4 months ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆22Updated 4 months ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆21Updated 2 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last month
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆32Updated 10 months ago
• Dorialexander / Pyllica
  Une série de programmes en python permettant de récupérer automatiquement des textes sur Gallica
  ☆41Updated 5 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• umazalakain / session-types-coq
  Formalising session types in Coq
  ☆17Updated 5 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
  ☆39Updated 2 months ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆28Updated 2 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated last week
• smimram / strid
  A string diagram generator for LaTeX.
  ☆30Updated 2 years ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆31Updated 11 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆107Updated 3 weeks ago