All pull requests

Pull requests

• Warn when Lean declarations use the default documentation root

  #92·jdhart81 opened Oct 12, 2026·

  ·

• Added link to 'Formalising AQFT in Lean'

  #91·KellyJDavis opened Jun 15, 2026·

  ·

• Add side-by-side layout: TeX content left, Lean declarations right

  #90·faabian opened Mar 13, 2026·

  ·
  1

• feat: Add per-node subgraph generation for dependency graphs

  #88·Blackfeather007 opened Feb 6, 2026·

  ·
  1

• add checkmark for leanok command in print mode

  #77·acmepjz opened Sep 7, 2025·

  ·
  2

• add \nodetitle command to specify titles of nodes in dependency graph

  #74·Hagb opened Jun 18, 2025·

  ·
  1

• Reorder legends

  #72·user202729 opened May 31, 2025·

  ·

• [TEMPLATE]: Rename blueprint.yml as build.yml

  #67·pitmonticone opened Feb 18, 2025Contributor·

  ·

• Create home_page directory with correct permissions

  #64·henkkuli opened Jan 13, 2025·

  ·

• [TEMPLATE]: Path filters, extend permissions, extend to PR events

  #49·pitmonticone opened Oct 9, 2024Contributor·3 tasks done·

  ·

• Include lean_toolchain to files_to_add list

  #42·pitmonticone opened Aug 14, 2024Contributor·

  ·

• fix: use encoding argument

  #29·fpvandoorn opened Jun 30, 2024·

  ·
  2

• fix: don't build Lean files twice

  #28·fpvandoorn opened Jun 30, 2024·

  ·
  1

• Use tag selector in case title has a space in

  #1·alexjbest opened Oct 27, 2021·

  ·