issues
search
LKlinke
/
Prodigy
A tool that analyses probabilistic programs, allows for automatic invariance checking and handles inference all based on Generatingfunctionology.
Apache License 2.0
2
stars
0
forks
source link
New input
#27
Closed
Legotier
closed
1 year ago
Legotier
commented
1 year ago
19
LKlinke
commented
1 year ago
wrong target branch
19