meta-logic/sequoia-v0

Issues

• Extend `html_exporter` to support exporting to JSON

  #37 opened 2 months ago by MatthewC
  0

• Modify `/apply` endpoint to use JSON, instead of special characters like `@@@`

  #38 opened 2 months ago by MatthewC
  0

• Add support for proof systems from 15-316 and 15-312

  #36 opened 3 years ago by gisellemnr
  0

• Layout

  #32 opened 3 years ago by gisellemnr
  1

• Building proof tree usability

  #33 opened 3 years ago by gisellemnr
  1

• Refactoring

  #35 opened 3 years ago by gisellemnr
  1

• Adapt Sequoia for Natural Deduction

  #34 opened 3 years ago by gisellemnr
  0

• Integration with L-framework

  #30 opened 4 years ago by gisellemnr
  0

• Make proof tree persistent

  #14 opened 5 years ago by gisellemnr
  2

• Browser support

  #2 opened 5 years ago by gisellemnr
  1

• Rule is not added on Firefox

  #10 opened 5 years ago by gisellemnr
  1

• Multiline symbols table

  #26 opened 5 years ago by gisellemnr
  1

• Context Variable changes during rule application

  #21 opened 5 years ago by mqhashim
  2

• Rendering of rules on proof tree page

  #13 opened 5 years ago by gisellemnr
  0

• End-sequent of proof tree

  #15 opened 5 years ago by gisellemnr
  0

• Parenthesis: keep precedence of typed formulas

  #18 opened 5 years ago by gisellemnr
  0

• Keep order of sub-formulas during proof tree construction

  #19 opened 5 years ago by gisellemnr
  0

• Undo button for proof tree construction

  #20 opened 5 years ago by gisellemnr
  0

• Change "primary separator" to "sequent sign"

  #11 opened 5 years ago by gisellemnr
  0

• Check duplicated rule names on edit

  #12 opened 5 years ago by gisellemnr
  0

• Parser: use bigger strings first

  #16 opened 5 years ago by gisellemnr
  0

• Use infix connectives in the proof tree

  #17 opened 5 years ago by gisellemnr
  0

• Undefined variable v

  #4 opened 5 years ago by gisellemnr
  0

• Duplicated parser

  #5 opened 5 years ago by gisellemnr
  0

• Symbols table

  #8 opened 5 years ago by gisellemnr
  0

• Remove unused/duplicated functions

  #3 opened 5 years ago by gisellemnr
  0

• Parsing formulas

  #6 opened 5 years ago by gisellemnr
  0

• Add atoms to parser

  #7 opened 5 years ago by gisellemnr
  3

• Add .DS_Store folder to .gitignore

  #1 opened 6 years ago by gisellemnr
  0