[WIP] Latex exports for cupicef and ctpicef encodings of CiC - Githubissues

Deducteam / Logipedia

An encyclopedia of proofs

57 stars 11 forks source link

[WIP] Latex exports for cupicef and ctpicef encodings of CiC #23

Closed Gaspi closed 4 years ago