Issues du dépôt

nanxstats/adaptive-group-sequential-trials

Machine-checked formalizations of Theorems 1 to 5 in Liu and Anderson (2008) using Lean

Voir sur GitHub
Stars
 (0 étoile)
Forks
 (0 fork)
Issues indexées
 (0 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
Dernière indexation
20 août 2026
Dernier push GitHub
20 août 2026
Licence
Aucune donnée de licence
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
TeX
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
Aucun label débutant indexé

Issues

0 issue indexée ouverte

Aucune issue indexée ouverte trouvée pour ce dépôt.