search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

Redundant file #41

Open amelieled opened 2 years ago

amelieled commented 2 years ago

The files theories/hol/hol_sttfa.dk and interoperability/hol_sttfa/hol_sttfa.dk are very close. Is this just an impression? Can I delete one of them?