learn from libraries (e.g. Lean's Mathlib) to rank & score useful premises, old & new
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).