Skip to content
#

conservation-science

Here are 10 public repositories matching this topic...

Machine-checked mathematics for ecological decisions: Lean 4 proofs, comparator certificates you can re-run, a DOI for every result, and runnable decision functions.

  • Updated Nov 3, 2026
  • Lean

Add this topic to your repo

To associate your repository with the conservation-science topic, visit your repo's landing page and select "manage topics."

Learn more