Repository Issues
nanxstats/adaptive-group-sequential-trials
Machine-checked formalizations of Theorems 1 to 5 in Liu and Anderson (2008) using Lean
Issue
このリポジトリには open の索引済み Issue がありません。
Repository Issues
Machine-checked formalizations of Theorems 1 to 5 in Liu and Anderson (2008) using Lean
このリポジトリには open の索引済み Issue がありません。