We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Move language pages to the new docs
Mention leanproject build
Updated Language Lean (markdown)
Add language id section on each language page
Move Lean Support out of Beta
Provide more detailed instructions for local setup
Add Lean v3.11.0 (with mathlib) support
Update timeout limit for Lean
Updated Language Lean3 (markdown)
Created Language Lean (markdown)