search

Deducteam / Logipedia

An encyclopedia of proofs
56 stars 11 forks source link

Fix README URLs #16

Closed XVilka closed 4 years ago

fblanqui commented 4 years ago

Thanks!