search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

Update the documentation #40

Closed amelieled closed 2 years ago

amelieled commented 2 years ago

This small PR changes the documentation in:

amelieled commented 2 years ago

This PR fixes #39 and #34 .

I can't merge it, so...