Open Issues Need Help
View All on GitHub help wanted external-validation
jdhart81/viridis-canon jdhart81/viridis-canon Machine-checked mathematics for ecological decisions: Lean 4 proofs, comparator certificates you can re-run, a DOI for every result, and runnable decision functions.
Open project →
0
Machine-checked mathematics for ecological decisions: Lean 4 proofs, comparator certificates you can re-run, a DOI for every result, and runnable decision functions.
Lean
#ai-for-science#biodiversity#conservation-science#decision-support#ecology#formal-verification#lean4#machine-checked#martingales#mathlib#open-science#probability#reproducible-research#restoration-ecology#theorem-proving#thermodynamics
help wanted good first issue
jdhart81/viridis-canon jdhart81/viridis-canon Machine-checked mathematics for ecological decisions: Lean 4 proofs, comparator certificates you can re-run, a DOI for every result, and runnable decision functions.
Open project →
0
Machine-checked mathematics for ecological decisions: Lean 4 proofs, comparator certificates you can re-run, a DOI for every result, and runnable decision functions.
Lean
#ai-for-science#biodiversity#conservation-science#decision-support#ecology#formal-verification#lean4#machine-checked#martingales#mathlib#open-science#probability#reproducible-research#restoration-ecology#theorem-proving#thermodynamics