search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

Inexisting files in doc #34

Closed fblanqui closed 2 years ago

fblanqui commented 4 years ago

Several files in docs/index.md do not exist: manifesto.md, export/implem.md, publication/apropos.md, publication/implem.md.

There is also a problem with import/contributing.md: it does not print properly; my browser ask me if I want to download the file instead.

gabrielhdt commented 4 years ago

The second point should be fixed.

gabrielhdt commented 2 years ago

Fixed in #40