Repository navigation

Cleanup: letters used for types, names - #105

Merged

RemyDegenne merged 14 commits into

mainfrom

May 9, 2026

Merged

Cleanup: letters used for types, names#105
RemyDegenne merged 14 commits into
mainfrom
cleanup

Commits on May 9, 2026
- vocabulary change in Algorithm.lean
  RemyDegenne
  committed
  09690d7
- Deterministic; StationaryEnv
  RemyDegenne
  committed
  0ebcc60
- EvaluationEnv
  RemyDegenne
  committed
  53fb663
- IonescuTulceaSpace
  RemyDegenne
  committed
  35ccfb4
- FiniteActions
  RemyDegenne
  committed
  b9f38f7
- fix
  RemyDegenne
  committed
  4c698b8
- fix tutorial
  RemyDegenne
  committed
  c79393c
- RandomSampling; RoundRobin
  RemyDegenne
  committed
  71b21b4
- alpha -> A
  RemyDegenne
  committed
  ab77c5e
- minor
  RemyDegenne
  committed
  d742cd6
- Merge remote-tracking branch 'origin/main' into cleanup
  RemyDegenne
  committed
  6e38726
- fixes
  RemyDegenne
  committed
  e64e476
- remove blueprint
  RemyDegenne
  committed
  6ce04ba
- move scripts
  RemyDegenne
  committed
  2cf862d