Code

Mio formalization#17

Code

Open

ischurov wants to merge 3 commits intoAI-ON:masterAI-ON/TheConsciousnessPrior:masterfrom ischurov:mio-formalizationischurov/TheConsciousnessPrior:mio-formalizationCopy head branch name to clipboard

+55-14

Commits

Commits on Jan 31, 2018

• cp-in-an-observational-settings update

  ischurov

  committed
  ee6a183

  Copy full SHA for ee6a183

Commits on Feb 1, 2018

• fix link to a paper

  ischurov

  committed
  e713255

  Copy full SHA for e713255

• changelog added

  ischurov

  committed
  fe0076a

  Copy full SHA for fe0076a