Add an official URL for this repository

nomeata / loogle

Mathlib search tool

https://loogle.lean-lang.org/

Apache License 2.0

50 stars 6 forks source link

Closed DenisGorbachev closed 10 months ago

DenisGorbachev commented 10 months ago

Is it possible to add https://loogle.lean-fro.org/ as an official URL for this repository, so that it would show in the "About" section:

nomeata commented 10 months ago

Sure thing!