search

jazzdotdev / jazz

The Scripting Engine that Combines Speed, Safety, and Simplicity
Apache License 2.0
147 stars 11 forks source link

probabilistic computing semantics (automated reasoning) #293

Open naturallymitchell opened 5 years ago

naturallymitchell commented 5 years ago

~~