Alternatives and similar repositories for theoremkb

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

• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated this week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• ae-hse / fca
  Python package for formal concept analysis
  ☆24Updated last year
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆24Updated 6 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 3 weeks ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆59Updated 3 weeks ago
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 14 years ago
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆117Updated 2 weeks ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated 2 weeks ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆39Updated 6 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)
  ☆61Updated last week
• rocq-community / coq-plugin-template
  Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
  ☆22Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last week
• rocq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd]
  ☆39Updated 5 months ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆22Updated 3 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆28Updated this week
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated last week
• meta-logic / coq-ll
  Formalization of Linear Logic in Coq
  ☆17Updated 6 months ago
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆45Updated last year
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆51Updated last year
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆31Updated 4 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated 2 weeks ago