Geek Repo
followers
following
stars
Home Page:http://cfreer.org/
Github PK Tool:Github PK Tool
Developer environment for probcomp repos
Lean for the Curious Mathematician 2020
An embedded language for probabilistic programming and meta-programming.