odavy37

Dear Sir, thank you for your answers. Stainless is definitively an interesting tool to use SMT Solvers. Probably the best one for Scala 3. However there is still limitation regarding...

Dear Sir, I think that not being able to initialize a large collection of finite element using for comprehension (or foreach) or recursion is the main problem: See the deck()...

Hi, thank you for your reply. I will test with in build.gradle.kts configurations.all { exclude(group = "org.jetbrains.kotlin", module = "kotlin-stdlib-jdk7") exclude(group = "org.jetbrains.kotlin", module = "kotlin-stdlib-jdk8") } I'll test it...