cartesian-frames
cartesian-frames copied to clipboard
google-deepmind
A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
Results
0
cartesian-frames issues
Sort by
recently updated
recently updated
newest added
Metadata
17
Stars
2
Forks
Watchers
Owner
Metadata
A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.