PierreSenellart / theoremkb
Collection of tools to extract semantic information from (mathematical) research articles
☆19Updated last week
Related projects ⓘ
Alternatives and complementary repositories for theoremkb
- First-order automated theorem prover based on the tableau method☆12Updated this week
- Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID☆57Updated last year
- A WordNet in GF☆24Updated this week
- Analytic platform for the HAL research archive (in development)☆13Updated 4 years ago
- A Grammatical Framework application grammar for casual coffee-break conversations☆9Updated 5 years ago
- Ontolex modules☆30Updated last week
- A web annotation server built with the same principles as Git☆33Updated 2 months ago
- Service for converting and enhancing heterogeneous publisher XML formats into TEI☆44Updated 2 months ago
- Wikidata property explorer☆15Updated 8 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- common language and mathematics processing algorithms, in Rust☆25Updated 7 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Metamath verifier in Python☆34Updated 7 months ago
- Some examples of usage of Grobid in a third party java project.☆18Updated last year
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated last week
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated 10 months ago
- An extensive Python library for dealing with FoLiA (Format for Linguistic Annotation) documents, a rich XML-based format for linguistic a…☆18Updated this week
- ☆21Updated 2 years ago
- Concept dictionary☆37Updated 7 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated 3 weeks ago
- Supervised learning of morphology☆28Updated 7 years ago
- Data Science Ontology☆36Updated 2 months ago
- Multinomials for the Mathematical Components library.☆14Updated 4 months ago
- Ocaml modular spam filter☆15Updated 2 months ago
- Tool for suggesting lemma names in Coq verification projects☆18Updated 2 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆18Updated 4 years ago
- ☆13Updated 3 years ago
- A powerful, tagset-independent and theory-neutral meta model and API for storing, manipulating, and representing nearly all types of ling…☆15Updated last year