Ulises Torrella

Hi! I'm having trouble following the installation guide, I included both lines: ``` resolvers += Resolver.sonatypeRepo("snapshots") libraryDependencies += "dev.zio" %% "zio-actors" % "0.1.0" ``` I get not foudn error with...

Docs for Func and AppFunc

4

Hi! This pr closes [issue 2650](https://github.com/typelevel/cats/issues/2650). I tried to keep it simple, since most of the concepts are explained in the Applicative page. I added some comments whilst I was...

Multiobjective exportschedulers

7

Hello, this PR refers to [this issue](https://github.com/moves-rwth/storm/issues/325), I needed to export the schedulers for each pareto optimal point when performing multiobjective analysis on MDPs. I focused on my direct need,...

Possibility to use --exportscheduler with multiobjective prop

9

Hi! I'm working with storm multi-objective analysis in a MDP, and successfully get the Pareto optimal points. With a simple example model I can deduce easily which strategy represents every...

I keep getting "Not in proof mode" even when stepping on a proof line. The proof advances correctly (and fails if there is a mistake), but I cannot see the...