Repository navigation

Commits

Commits on Aug 3, 2025
- Make devcontainer work
  DominicBreuker
  committed
  d46da95
- Create devcontainer.json
  DominicBreuker
  authored
  e3743ea
Commits on Aug 2, 2025
- chore: bump mathlib (#685)
  kbuzzard
  authored
  c8f11db
- chore: fix build after previous merge (#684)
  kbuzzard
  authored
  df1dde3
Commits on Jul 31, 2025
- feat: define R (#615)
  
  erdOne
  and
  kbuzzard
  authored
  6c75486
Commits on Jul 29, 2025
- ci: add upstreaming dashboard (#673)
  
  Ruben-VandeVelde
  and
  YaelDillies
  authored
  d4d53cd
- chore: fix warnings caused by new space linter (#680)
  kbuzzard
  authored
  1d43711
Commits on Jul 27, 2025
- chore: drop Fintype.sum_pi_single_pi (#675)
  Ruben-VandeVelde
  authored
  e68dc44
- chore: bump mathlib (#679)
  kbuzzard
  authored
  173d0f1
Commits on Jul 26, 2025
- chore: replace Subtype.map_ne (#674)
  Ruben-VandeVelde
  authored
  e307df2
Commits on Jul 23, 2025
- chore(deps-dev): bump nokogiri from 1.18.8 to 1.18.9 in /docs (#677)
  dependabot[bot]
  authored
  dc5f5e1
Commits on Jul 13, 2025
- chore: drop Rat.ringOfIntegersEquiv_eq_algebraMap (#672)
  Ruben-VandeVelde
  authored
  abe9a60
Commits on Jul 10, 2025
- feat: prove `mulEquivHaarChar_piCongrRight` (#665)
  js2357
  authored
  656d5ca
- chore: fix some typos in blueprint (#670)
  kbuzzard
  authored
  3c502c4
- blueprint: fix typos (#671)
  pitmonticone
  authored
  dba046c
- Fujisaki: Proof of compact_quotient (#617)
  
  WilliamCoram
  and
  kbuzzard
  authored
  6df26b9
- Match Mathlib RestrictedProduct file structure (#664)
  matthewjasper
  authored
  878a958
Commits on Jul 8, 2025
- feat: adele ring is Hausdorff (#669)
  kbuzzard
  authored
  aaffd1b
- chore: fix deprecation warnings
  kbuzzard
  committed
  5e399e9
- t2_of_finite_free (#654)
  Norbert Voelker
  authored
  62e50d8
- lowestTerms (#73)
  Ruben-VandeVelde
  authored
  733cfd6
- chore: bump mathlib (#668)
  kbuzzard
  authored
  eb8c233
- feat: add CITATION.bib (#666)
  kbuzzard
  authored
  7c1b1a4
Commits on Jul 7, 2025
- chore: docstring fixes (#663)
  kbuzzard
  authored
  37a5f3a
- chore: bump to `v4.22.0-rc3` (#662)
  pitmonticone
  authored
  faaac06
- Add RestrictedProduct.flatten (#607)
  matthewjasper
  authored
  b6cf4f1
- chore: bump `docgen-action` to fix cache issue (#661)
  pitmonticone
  authored
  520d450
Commits on Jul 3, 2025
- feat: switch off warnings coming from sorries
  kbuzzard
  committed
  9feced6
Commits on Jul 2, 2025
- chore: bump and remove non-sorry warning (#658)
  kbuzzard
  authored
  a1aa1b2
- chore: remove unneeded universe in tensorPi_equiv_piTensor'
  kbuzzard
  committed
  6139ef2
- chore: bump to `v4.22.0-rc2` (#657)
  pitmonticone
  authored
  d838ee1
Commits on Jul 1, 2025
- chore: bump to `v4.21.0` (#652)
  
  github-actions[bot]
  and
  pitmonticone
  authored
  6f2e0ff
Commits on Jun 28, 2025
- chore: bump `docgen-action` with partial bug fix
  pitmonticone
  committed
  0b6117d
Commits on Jun 25, 2025
- chore: add code of conduct (#639)
  
  pitmonticone
  and
  kbuzzard
  authored
  7fc314d
- chore: bump mathlib (#648)
  pitmonticone
  authored
  e7c7460

Branch selector

User selector

Datepicker

Commit history

Commits on Aug 3, 2025

Commits on Aug 2, 2025

Commits on Jul 31, 2025

Commits on Jul 29, 2025

Commits on Jul 27, 2025

Commits on Jul 26, 2025

Commits on Jul 23, 2025

Commits on Jul 13, 2025

Commits on Jul 10, 2025

Commits on Jul 8, 2025

Commits on Jul 7, 2025

Commits on Jul 3, 2025

Commits on Jul 2, 2025

Commits on Jul 1, 2025

Commits on Jun 28, 2025

Commits on Jun 25, 2025