PierreSenellart / theoremkbLinks
Collection of tools to extract semantic information from (mathematical) research articles
☆21Updated 4 months ago
Alternatives and similar repositories for theoremkb
Users that are interested in theoremkb are comparing it to the libraries listed below
Sorting:
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated this week
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Python package for formal concept analysis☆24Updated last year
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 6 months ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- The Heterogeneous Tool Set☆59Updated 3 weeks ago
- Mirror of ocaml-forester☆45Updated last year
- The MMT Language and System☆76Updated last month
- Grammatical Framework's Resource Grammar Library (RGL)☆59Updated 3 weeks ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Updated 14 years ago
- Formal Concept Analysis with Python☆117Updated 2 weeks ago
- Hevea is a fast latex to html translator☆108Updated 2 weeks ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.