search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

Middleware for CiC logic #18

Closed Gaspi closed 4 years ago