Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2022

• Added proof for hooo_dual_rev_imply

  Show description for 3dc9697
  bvssvni

  committed
  3dc9697

  Copy full SHA for 3dc9697

Commits on Nov 23, 2022

• Improved "ava_modal" example

  bvssvni

  committed
  d118c28

  Copy full SHA for d118c28

Commits on Nov 11, 2022

• Make hooo_dual_and decidable

  Show description for da609a0
  bvssvni

  committed
  da609a0

  Copy full SHA for da609a0

Commits on Nov 10, 2022

• Derive S5 Modal Logic from HOOO EP

  Show description for 96401cc
  bvssvni

  committed
  96401cc

  Copy full SHA for 96401cc

Loading