Repository navigation

Add Comparator in the CI - #2

Merged

mo271 merged 6 commits into

mainfrom

Sep 23, 2026

Merged

Add Comparator in the CI#2
mo271 merged 6 commits into
mainfrom
comparator

Commits on Sep 23, 2026
- Add Comparator challenge and formalization metadata
  
  Paul-Lez
  authored and
  mo271
  committed
  02115ec
- Align Lean toolchain with Comparator
  
  Paul-Lez
  authored and
  mo271
  committed
  f5fc8ad
- Use Mathlib-compatible dependency order
  
  Paul-Lez
  authored and
  mo271
  committed
  2daec1e
- Allow time for the Comparator clean build
  
  Paul-Lez
  authored and
  mo271
  committed
  9072bf8
- set comparator timeour 5h
  mo271
  committed
  70e0270
- undo changes to README
  mo271
  committed
  b57e0e3