PierreSenellart / theoremkbLinks
Collection of tools to extract semantic information from (mathematical) research articles
☆22Updated this week
Alternatives and similar repositories for theoremkb
Users that are interested in theoremkb are comparing it to the libraries listed below
Sorting:
- The MMT Language and System☆79Updated 5 months ago
- Grammatical Framework core: compiler, shell & runtimes☆150Updated 2 months ago
- A WordNet in GF☆28Updated this week
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Updated 3 months ago
- Mirror of ocaml-forester☆49Updated last year
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆39Updated 7 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Updated 4 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Updated 14 years ago
- Multinomials for the Mathematical Components library.☆16Updated 3 months ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Updated 10 months ago
- Formal Concept Analysis with Python☆120Updated 3 weeks ago
- First-order automated theorem prover based on the tableau method☆18Updated last month
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 months ago
- An encyclopedia of proofs☆64Updated last year
- Combinatorial species in HoTT☆12Updated 10 years ago
- Formalization of Linear Logic in Coq☆18Updated 10 months ago
- Coherence typechecker for infinity categories☆20Updated last month
- 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)☆64Updated last month
- Hevea is a fast latex to html translator☆114Updated this week
- Grammatical Framework's Resource Grammar Library (RGL)☆63Updated last month
- Community contributions to the Grammatical Framework☆63Updated 2 weeks ago
- Formalising session types in Coq☆17Updated 6 years ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆46Updated last year
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- ☆12Updated 4 years ago
- ☆31Updated 11 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- Partial Commutative Monoids☆32Updated 8 months ago