Skip to content

doc: backticks around Lean code in docstrings #4915

doc: backticks around Lean code in docstrings

doc: backticks around Lean code in docstrings #4915

check-prelude

succeeded Sep 30, 2024 in 5s