Skip to content

History / Sugar for manipulating connectives in classical logic

Edit page New page

Revisions

  • Add table of contents + rework inconsistency in heading levels

    @TWal TWal committed Aug 10, 2022
    df6edcf

  • Updated Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 27, 2021
    1d6c06d

  • Updated Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 27, 2021
    62327e5

  • Updated Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 27, 2021
    6c6fb55

  • Updated Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 19, 2021
    e43e387

  • Updated Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 19, 2021
    71cc713

  • Updated Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 19, 2021
    a0752c7

  • Created Sugar for manipulating connectives in classical logic (markdown)

    @nikswamy nikswamy committed Aug 19, 2021
    45b0fbd