[WIP] Infra - Githubissues

Deducteam / Logipedia

An encyclopedia of proofs

57 stars 11 forks source link

Closed francoisthire closed 5 years ago

francoisthire commented 5 years ago

This PR is open to see and discuss changes if necessary. It is not ready to merge at all.