Issues

• Explanation Site for AI Proofs / Comparator Guide

  leanprover-community/leanprover-community.github.io#832 · Filter by author franzhusch opened on Apr 26, 2026
  4

• add type signatures to theorems demonstrating naming conventions

  leanprover-community/leanprover-community.github.io#818 · Filter by author JadAbouHawili opened on Apr 7, 2026
  1

• Add schema.org structured data to events page

  leanprover-community/leanprover-community.github.io#738 · Filter by author jessealama opened on Nov 11, 2025
  1

• Move more of 1000.yaml processing to mathlib ci

  leanprover-community/leanprover-community.github.io#648 · Filter by author Ruben-VandeVelde opened on Jun 19, 2025

• Incomplete list of common tactics in tactic cheatsheet

  leanprover-community/leanprover-community.github.io#642 · Filter by author hansonchar opened on Jun 13, 2025

• Add RSS feeds for courses and events like exists for the blog

  leanprover-community/leanprover-community.github.io#519 · Filter by author brittAnderson opened on Aug 25, 2024

• add tactic list of mathlib4

  leanprover-community/leanprover-community.github.io#462 · Filter by author Seasawher opened on Apr 15, 2024

• removed section on documenting tactics, needs to be updated and restored

  leanprover-community/leanprover-community.github.io#319 · Filter by author kim-em opened on Jun 21, 2023

• Move source of "theory pages" back to mathlib, and check for deadlinks

  leanprover-community/leanprover-community.github.io#287 · Filter by author jcommelin opened on Sep 27, 2022

• The linear algebra page should explain semilinear maps

  leanprover-community/leanprover-community.github.io#285 · Filter by author jcommelin opened on Sep 19, 2022
  

• Add a glossary entry for metavariable

  leanprover-community/leanprover-community.github.io#251 · Filter by author stuart-presnell opened on Feb 3, 2022

• Add a glossary entries for HoTT, UH, TC, fbip, dot notation and API

  leanprover-community/leanprover-community.github.io#226 · Filter by author gabriel-doriath-dohler opened on Nov 22, 2021
  1

• {{ cannot be used in markdown files

  leanprover-community/leanprover-community.github.io#168 · Filter by author bryangingechen opened on Feb 16, 2021
  2

• Port some docs by Ed Ayers's edlib repo

  leanprover-community/leanprover-community.github.io#153 · Filter by author bryangingechen opened on Dec 28, 2020

• naming_conventions.md should discuss lift / quotient.lift

  style-guide
  leanprover-community/leanprover-community.github.io#152 · Filter by author bryangingechen opened on Dec 18, 2020

• tweet cards like in the docs

  leanprover-community/leanprover-community.github.io#131 · Filter by author robertylewis opened on Sep 24, 2020
  2

• source in install/project

  leanprover-community/leanprover-community.github.io#95 · Filter by author shingtaklam1324 opened on Jul 15, 2020

• more variable conventions

  style-guide
  leanprover-community/leanprover-community.github.io#59 · Filter by author bryangingechen opened on Jun 14, 2020

• todo/done toggles for overview.html and 100.html

  leanprover-community/leanprover-community.github.io#53 · Filter by author jcommelin opened on Jun 5, 2020

• notation docs

  leanprover-community/leanprover-community.github.io#15 · Filter by author jcommelin opened on May 15, 2020