search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

yann@Dedukti-2.7 #37

Open yannl35133 opened 3 years ago

yannl35133 commented 3 years ago

Not final either