Comment by ModernMech

This is a vibecoded project, not a resource for learning modeling for formal verification.