Formalizations that contain variables with unknown type should be tagged somehow - Githubissues

ultimate-pa / hanfor

Hanfor helps analyzing and formalizing requirements.

https://ultimate-pa.github.io/hanfor/

GNU Lesser General Public License v3.0

9 stars 3 forks source link

Formalizations that contain variables with unknown type should be tagged somehow #216

Closed hauff closed 2 years ago

hauff commented 2 years ago

see title