Loogle

https://github.com/nomeata/loogle

Loogle is a search tool for Lean and Mathlib that finds definitions and theorems by pattern...

Tokens:1,113
Snippets:22
Trust Score:9.6
License:Apache-2.0
Update:1 month ago
Tokens:
Raw