toggle menu
apollo-backend
1.0.0
Apollo-Backend
switch theme
search in API
apollo-backend
/
eu.yeger.apollo.model_checker.model.api
/
ModelCheckerRequest
/
formula
formula
val
formula
:
String
(
source
)