search

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
https://apalache-mc.org/
Apache License 2.0
431 stars 40 forks source link

[BUG] Confusing naming of sections 'HOWTOs/Tutorials' in docs book #1112

Open danwt opened 2 years ago

danwt commented 2 years ago

Description

The two section names HOWTOs and Tutorials kind of mean the same thing and it is not clear how they differ.

konnov commented 2 years ago

The idea was to use this guide. Apparently, we have not reached the goal :)

shonfeder commented 2 years ago

Maybe we just need some remarks on the TOC or in each section noting what the intended difference is? We could arrange the TOC into a table reflecting that chart for instnace.