Skip to content

doc: backticks around Lean code in docstrings #4408

doc: backticks around Lean code in docstrings

doc: backticks around Lean code in docstrings #4408