Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 25, 2024

• Add subproof level check for iff

  Mroik

  committed
  4c23040

Commits on May 13, 2024

• Align rule notation

  Mroik

  committed
  4f87287

Commits on May 10, 2024

• Fix and elim

  Mroik

  committed
  b8e87b7

• Add rule notation on deduction lines

  Mroik

  committed
  370d13e

Commits on May 9, 2024

• Add current level indicator

  Mroik

  committed
  23b05c6

• Fix some clippy warnings

  Mroik

  committed
  e0c5148

• Fix model as string

  Mroik

  committed
  eb03eb4

• Add info to Cargo.toml

  Mroik

  committed
  0ba2d4e

• Add README.md

  Mroik

  committed
  918387b

• Add IFF intro-elim event logic

  Mroik

  committed
  01754f6

• Add IMPLIES intro-elim event logic

  Mroik

  committed
  2cc1dbb

• Change symbols rappresentation

  Mroik

  committed
  4e0aacb

• Add NOT intro-elim event logic

  Mroik

  committed
  d915f99

• Remove unneeded function

  Mroik

  committed
  623d248

Commits on May 8, 2024

• Add OR intro-elim and Reiterate event logic

  Mroik

  committed
  4db1e32

• Improve parse_expression performance

  Mroik

  committed
  161a1f9

• Add AND intro-elim event logic

  Mroik

  committed
  015bac2

Commits on May 7, 2024

• Add event logic for absurdum elimination

  Mroik

  committed
  1f7354e

• Add event logic for absurdum introduction

  Mroik

  committed
  b272651

• Add cursor to expression box

  Mroik

  committed
  4645abe

• Separate expression box handling logic

  Mroik

  committed
  18cd9f9

• Add subproof event logic

  Mroik

  committed
  103cd74

• Fix parser for not

  Mroik

  committed
  20fc5b5

• Fix rendering

  Mroik

  committed
  0ce8fb9

• Add cursor to expression box

  Mroik

  committed
  16fb468

• Add main

  Mroik

  committed
  2fcebc7

• Add add_assumption event logic

  Mroik

  committed
  f81fc59

• Add absurdum elimination

  Mroik

  committed
  be4b675

• Avoid shadowing queue

  Mroik

  committed
  42dce9b

• Add loop event in normal state

  Mroik

  committed
  0837c76

• Make parse_expression prettier

  Mroik

  committed
  9be1a80

• Add expression parser

  Mroik

  committed
  4fa3111

• Implement propositions parsers

  Mroik

  committed
  00519df

Commits on May 6, 2024

• Add scaffoling for app event loop

  Mroik

  committed
  40604f1

• Add expression box rendering

  Mroik

  committed
  d4274d6

Pagination

PreviousNext