279 followers
RT @johannes2007: @CompSciFact Its great work! There is even a @isaprover formalization of it: https://t.co/VMDRSmE9VQ Theories: https://t…
RT @johannes2007: @CompSciFact Its great work! There is even a @isaprover formalization of it: https://t.co/VMDRSmE9VQ Theories: https://t…
RT @johannes2007: @CompSciFact Its great work! There is even a @isaprover formalization of it: https://t.co/VMDRSmE9VQ Theories: https://t…
@CompSciFact Its great work! There is even a @isaprover formalization of it: https://t.co/VMDRSmE9VQ Theories: https://t.co/9tME5jmaSN
#arXiv #cs_LO "A Verified Compiler for Probability Density Functions. (arXiv:1707.06901v1 [cs.PL])" https://t.co/IKcXqMHiA7