Zulip Chat Archive

Stream: new members

Topic: Simple Probability Execution

Yuanbo Li (Nov 22 2023 at 00:01):

Hi everyone, I'm a student working using Lean4 to make some proves on L-System and procedural grammars. And I hope to know how to execute simply probabilities using lean.

For instance, a grammar can be A -> B (prob0.5) and A ->AB (prob0.5). Could anyone offer me some idea what package should I look into to write/execute these kind of grammars? Thank you!

Last updated: Dec 20 2023 at 11:08 UTC