Activity Stream

• admin updated the dataset Bounded Idempotent Pocrims
  4 days ago  |  View this version  |  Changes

• admin created the dataset Bounded Idempotent Pocrims
  4 days ago  |  View this version

• admin updated the dataset Bounded Involutive Pocrims
  4 days ago  |  View this version  |  Changes

• admin created the dataset Bounded Involutive Pocrims
  4 days ago  |  View this version

• admin updated the dataset Continuous Logic
  4 days ago  |  View this version  |  Changes

• admin created the dataset Continuous Logic
  4 days ago  |  View this version

• admin updated the dataset Reducing SAT to Max2XOR
  4 days ago  |  View this version  |  Changes

• admin created the dataset Reducing SAT to Max2XOR
  4 days ago  |  View this version

• admin created the group Logic
  3 weeks ago