An open API service indexing awesome lists of open source software.

https://github.com/rish987/lean-bayes

Attempting to formalize Bayesian Networks in Lean
https://github.com/rish987/lean-bayes

Last synced: 3 months ago
JSON representation

Attempting to formalize Bayesian Networks in Lean

Awesome Lists containing this project