conengine / SA_is_GA

A formal proof of "GA = SA"

MIT License

1 stars 0 forks source link

formal-verification global-optimization probabilistic-programming science-of-engineering

A formal proof of "GA = SA"

Cf. EEM
Core language is R.Robert & S.Zdancewic's PrImp.
- In effect based upon Pierce et al's Imp