4 ms·

Hoogle is a fantastic idea. It has inspired Loogle for Lean 4 and Sherlodoc for OCaml: https://loogle.lean-lang.org/ https://loogle.lean-lang.org/ https://doc

by nequo 2y ago

Hoogle is a fantastic idea. It has inspired Loogle for Lean 4 and Sherlodoc for OCaml: https://loogle.lean-lang.org/ https://loogle.lean-lang.org/ https://doc.sherlocode.com/ https://doc.sherlocode.com/