KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #developer-tools #ai-agent #claude-code #codex #typescript #ai-agents #deepseek-harness #mcp #cli #rust

Logipedia

★ 67 Open GitHub ↗

An encyclopedia of proofs

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Logipedia

Logipedia is a project that aims to translate and share formal proofs between several systems.
The website displaying all available proofs can be reached at
http://logipedia.inria.fr/

## Installation
### Dependencies
- Dedukti commit `5990bc6`
  ```shell
  git clone https://github.com/deducteam/dedukti.git
  git checkout 5990bc6
  make install
  ```
- `ppx_deriving_yojson`
- `dune`

### Build & install

``` bash
make install
```

## Documentation
### Project documentation
The source of the project documentation can be found in [`docs`](docs). The
documentation can be browsed at https://deducteam.github.io/Logipedia or it
can be built locally and then browsed using [`mkdocs`](https://www.mkdocs.org/) 
with

``` bash
mkdocs build
mkdocs serve
```
then head to http://127.0.0.1:8000.

Note: version(mkdocs) >= 1.0.0. Use `pip3 install -U mkdocs` to upgrade `mkdocs`.

### API documentation
The code is also documented with `dune` and `mkdocs`, use `make doc` to build it. It will
be available in `_build/default/_doc/`, so you can run for instance `firefox _build/default/_doc/_html/logipedia/index.html`.

## Contributing to Logipedia
To contribute to the API, simply fork the repository and make a pull request. To
work on new translations, send an email to <dedukti-dev@inria.fr>.

Logipedia

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README