RAIRLab/lazyslate

Issues

• S-Expressions.md 404

  #12 opened 8 months ago by James-Oswald
  0

• NOT as binary connective

  #10 opened 2 years ago by James-Oswald
  0

• Verification Update

  #9 opened 2 years ago by James-Oswald
  0

• Or-Elim Issue

  #8 opened 2 years ago by James-Oswald
  0

• a, a=>c |- b

  #2 opened 2 years ago by James-Oswald
  1

• If Intro Issue

  #3 opened 2 years ago by James-Oswald
  0

• Does not work on firefox

  #1 opened 2 years ago by James-Oswald
  1

• Assumption Name clash

  #6 opened 2 years ago by James-Oswald
  0

• Assumptions verify with parent nodes.

  #7 opened 2 years ago by James-Oswald
  0