search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

New module organization #22

Closed Gaspi closed 4 years ago