I can mathematically prove the game's not fun.

It uses PRISM, a “probabilistic model checker”, so not your typical theorem prover or SAT solver.

  • ExperimentalGuy@programming.dev
    1·
    7 months ago

    Ive never heard of a language for probabilistic modeling before but thank you good sir for this fine contribution to the library of random facts that is my brain.