search

Deducteam / Logipedia

An encyclopedia of proofs
57 stars 11 forks source link

Adapted code to new API. #1

Closed Gaspi closed 6 years ago