Activity Stream

• admin updated the dataset Bounded Idempotent Pocrims
  1 month ago  |  View this version  |  Changes

• admin created the dataset Bounded Idempotent Pocrims
  1 month ago  |  View this version

• admin updated the dataset Bounded Involutive Pocrims
  1 month ago  |  View this version  |  Changes

• admin created the dataset Bounded Involutive Pocrims
  1 month ago  |  View this version

• admin updated the dataset Continuous Logic
  1 month ago  |  View this version  |  Changes

• admin created the dataset Continuous Logic
  1 month ago  |  View this version

• admin updated the dataset Reducing SAT to Max2XOR
  1 month ago  |  View this version  |  Changes

• admin created the dataset Reducing SAT to Max2XOR
  1 month ago  |  View this version

• admin created the group Logic
  2 months ago