Documented Stainless sets as finite. Added nested sets example. gh-pa… - Githubissues

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

349 stars 49 forks source link

Documented Stainless sets as finite. Added nested sets example. gh-pa… #1527

Closed vkuncak closed 2 months ago

vkuncak commented 2 months ago

…ges branch name fix