Independent Julia/Agda package for sequencing-count evidence: returns proved present, absent or undecided verdicts under a noise bound, without changing or importing MetaManifold.
bioinformatics genomics julia metagenomics proof-assistant uncertainty scientific-computing agda sampling read-counts formal-verification research-software evidence-theory sequencing-data model-specification noise-modeling count-models residual-evidence taxon-detection evidence-calculus
-
Updated
Nov 10, 2026 - Lean