c0mbatduckzz
/

TOMK

formal-specification

deterministic-execution

reproducibility

all-rights-reserved

no-license-granted

personal-property

Model card Files Files and versions

TOMK / src /python /tom_world03

50.6 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

c0mbatduckzz's picture

Publish WQK 0.6 formal specification, use cases and verified release (part 2)

767a051 verified about 1 month ago

__init__.py
700 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
__main__.py

48 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
baseline.py
4.05 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
canonical.py
1.09 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
cli.py
4.63 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
expression.py
5.13 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
interval.py
4.44 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
io.py
828 Bytes
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
model.py
9.94 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
rational.py
4.22 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
solver.py
11.2 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago
transitions.py
4.33 kB
Publish WQK 0.6 formal specification, use cases and verified release (part 2) about 1 month ago